Легко показати, що ω-несуперечливість спричиняє просту несуперечливість (тобто, будь-яка ω-несуперечлива формальна система є несуперечливою). У процесі доведення теореми будується така формула A арифметичної формальної системи S, що: