Les théorèmes, prouvés par Kurt GÃ del en 1931, sont importants tant dans la logique mathématique que dans la philosophie des mathématiques.
Les théorèmes sont très importants pour la philosophie des mathématiques.