Критерий доказуемости

[maximk]

мат-ламер в сообщении #932551 писал(а):

maximk в сообщении #931310 писал(а):

Существуют ли критерии доказуемости?

Если теорему удалось доказать, то она доказуема. (С недоказуемостью посложней.)

Спасибо)