Примечание. Вторая теорема австрийского математика Курта Гёделя, доказанная им в 1930 году, утверждает следующее:
"Всякая система математических аксиом начиная с определенного уровня сложности либо внутренне противоречива, либо неполна"
"Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)"