Définition de métamathématique | Babel Free

Définitions

Qui concerne, qui appartient à cette théorie des fondements des mathématiques.

Exemples

“Énoncé métamathématique.”

“Une démonstration par l’absurde ne peut prouver l’existence métamathématique d’un assemblage ou d’une suite d’assemblages, il faut en donner une loi de construction explicite.”

“Dans cet esprit, un axiome est considéré comme « vrai » s’il conduit à une théorie utile. Bien entendu, une telle définition est proprement métamathématique.”

Niveau CECR