Геделя теореми

дві теореми математичної логіки про принципові обмеження формальної арифметики і, як наслідок, всякої формальної системи, в якій можна визначити основні арифметичні поняття: натуральні числа, 0, 1, додавання і множення