К статье МАТЕМАТИКА
Еще древние греки отчетливо понимали, что математическая теория должна быть свободна от противоречий. Это означает, что невозможно вывести как логическое следствие из аксиом утверждение Р и его отрицание не-P. Однако, поскольку считалось, что математические объекты имеют соответствия в реальном мире, а аксиомы являют