http://www.youtube.com/watch?feature=player_detailpage&v=3x69YrVdZrI

исходя из диофантовости любого эффективно перечислимого множества имеем, что известное нам уравнение не имеет решений в неотрицательных целых числах. Обидно, но этот факт не может быть доказан в теории T. Более того, для каждой непротиворечивой теории множество значений параметра P, обладающих таким несуразным свойством, бесконечно и алгоритмически ( Read more... )

Аксиома выбора утверждает, что, если мы имеем собрание множеств, из которых каждое содержит по крайней мере один элемент, тогда существует множество, которое содержит в точности один элемент, выбранный в каждом из отправных допустимых множеств, что позволяет утверждать существование определенных множеств без их явного задания.

Совместимость аксиомы ( Read more... )

тиеонарпе сорма гуочтл лаор к, злое ьрато не, корнплеть длпрнр длоанотнорано, длоанотнорано, длоанотнорано