الجملة الاولى: اذاً النظرية المثالية القصوى (القوية) التالية (MIT) للجبر البولى معادلة لBPI: الجملة الثانية: النظرية البولية (القوية) التالية (MIT) للجبرات المثالية القصوى بالتالي تعادل BPI: السؤال: هل الجملة الاولى والجملة الثانية تعبر عن نفس المعنى؟ نعم او لا؟