Изменения

Перейти к: навигация, поиск

Теории первого порядка

86 байт добавлено, 15:27, 14 января 2012
→‎Больше формальности!
</tex>
Применяем схему аксиом для квантора <tex>\forall</tex> и получаем требуемое.(как-то так)  {{TODO | t = Требуется читатель Клини }}
}}
Rybak
1302
правки
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/16673»

Навигация