Однородное линейное упорядоченное множество такой же мощности для всякой бесконечной мощности:

Правильный ответ:

• # Формулы A и B эквивалентны тогда и только тогда, когда тавтологией является формула:
• # Теория сигнатуры с равенством имеет нормальную модель тогда и только тогда, когда:
• # Непротиворечивая теория с равенством в не более счетной сигнатуре, не имеющая конечных моделей и категоричная в счетной мощности:
• # Если S не пусто, , то для того, чтобы F был фильтром нужно:
• # Если секвенция выводима в исчислении секвенций, то представляющая ее формула в исчислении высказываний: