Да, согласно теореме Гёделя о неполноте, всякая система математических аксиом, начиная с определённого уровня сложности, либо внутренне противоречива, либо неполна. 15
Это означает, что в достаточно сложных системах найдётся хотя бы одно высказывание, ни истинность, ни ложность которого не может быть доказана средствами самой этой системы. 1