... Я собираюсь обратить внимание слушателей не только на то, что является правильным доказательством (это можно осознать и на примерах, таким примером является любой другой курс НМУ), но и на то, что может оказаться неправильным, каким способом определить эту неправильность и каких доказательств быть не может. ... Экзаменационное задание 1 .pdf | ... Лекция 2 .pdf | ... Математика как изучение полностью формальных фактов. ... Исчисление высказываний. ... ZFC (Теория множеств Цермело-Френкеля). ...