Приклад узагальненого формулювання: Будь-яка достатньо сильна рекурсивно аксіоматизовна несуперечлива теорія першого порядку є неповною. Зокрема, теорема Геделя справедлива для кожного несуперечливого скінченно аксіоматизовного розширення арифметичної формальної системи S. Поліноміальна форма