Любые два алгебраически замкнутых поля характеристики О:

вопрос

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

Оставить комментарий

Отправить

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