THINKING IN STYLE: Пьер Ферма
![THINKING IN STYLE: Пьер Ферма](http://www.posobiya.ru/SREDN_SKOOL/MATEM/N225/images/9.jpg)
Смотреть картинку в полный размер
Утверждение, не имеющее логического или математического доказательства, является недоказанным. Среди недоказанных утверждений могут оказаться верные, возможно, в их числе и Великая теорема Ферма, но, упоминая ее, мы всегда говорим "возможно", имея в виду, что при всей эмпирической очевидности недоказанное утверждение остается недоказанным, принятым на веру, требующим доказательства. Что не мешает нам заметить, что большинство НЕ доказанных теорем - это теоремы НЕ существования. НЕ является ли трудность доказательств НЕ существования провидением? Попробуйте доказать или опровергнуть эту гипотезу.