Carte Rare
Théorème de complétude de Gödel
théorème de logique mathématique
- Valeur
- 50 W
- Attaque
- 264
- Défense
- 211
- Joueurs
- 1
436 vues Wikipédia ces 30 derniers jours
En logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre.
Obtiens Théorème de complétude de Gödel dans ta collection
Chaque carte de Wikilord est un article Wikipédia. Ouvre des paquets gratuitement, échange, combats et grimpe au classement.
Ouvrir un paquet gratuit