Histoire des mathématiques Concept

théorie de la démonstration

Concept

branche de la logique mathématique

domaine: Logique mathématique

Liens

comprend: analyse ordinale

théorème d'accélération de Gödel

Sources

Wikidata CC0-1.0

wikidata Q852732