Доказать непротиворечивость математики невозможно, что следует из теорем Гёделя. 35

Согласно второй теореме Гёделя, непротиворечивость формальной теории, содержащей арифметику, невозможно доказать с помощью средств самой рассматриваемой теории (при условии, что эта теория действительно непротиворечива). 2