Теорема о неполноте... Это о худобе?

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

Разговор как раз именно об аксиоме

Кто как понимает.