Стало зрозуміло, що будь-яка досить потужна несуперечлива система необхідно неповна. Більше того, така неповнота має принциповий характер, її не можна усунути поступовим приєднанням до системи нових аксіом. Узагальнюючи це твердження можна сказати, що будь-яка мова, досить «потужна» для визначення натуральних чисел (наприклад, логіка другого порядку чи українська мова), є неповною, тобто містить висловлювання, які не можна ані довести, ані заперечити з аксіом мови. Доведені Геделем теореми мають широкі наслідки як для математики, так і для філософії (зокрема, для онтології й філософії науки).