Исправление Int0l, 28.01.20 17:33 (текущая версия) :
сначала попробуй доказать что классическая мат. логика полна и непротиворечива, без этого доказывать что-то через теорию множеств бессмысленно
Исходная версия Int0l, 28.01.20 17:32:
сначала попробуй доказать что классическая мат. логика полна и непротиворечива