Cтраница 2
Используя понятие алгебры Линденбаума - Тарского, эту теорему легко перефразировать на языке теории булевых алгебр. Ее эквивалентная булева формулировка заключается в том, что каждый ненулевой элемент алгебры Линденбаума - Тарского 91 принадлежит некоторому максимальному фильтру. Роль системы аксиом исчисления высказываний сводится к тому, чтобы показать, что алгебра Линденбаума - Тарского является булевой алгеброй. [16]