Некоторые арифметические утверждения могут оказываться ложными в контексте натуральных чисел из-за математических софизмов — ошибочных утверждений, которые кажутся правильными, но в действительности содержат ту или иную ошибку. 1
Некоторые причины софизмов:
Также существует теорема К. Гёделя о неполноте формализованной арифметики натуральных чисел, которая утверждает, что никакой конечной системой аксиом формальной арифметики нельзя выразить все истинные предложения содержательной арифметики натуральных чисел. 2