Théorème de complétude de Gödel, carte Peu commune de WikiCards

La carte porte ces faits tirés de son article de Wikipédia.

• En termes intuitifs le théorème de complétude construit un pont entre vérité et démontrabilité formelle : tout énoncé vrai est démontrable.
• Plus précisément le théorème de complétude affirme que si un énoncé est conséquence sémantique d'une théorie que l'on peut décrire dans le formalisme du calcul des prédicats du premier ordre, c'est-à-dire qu'il est vrai dans tous les modèles de cette théorie, alors il est conséquence syntaxique de cette théorie : il existe une démonstration formelle qui déduit cet énoncé à partir des axiomes de…

Dans WikiCards, la rareté suit un an de lectures sur Wikipédia : les articles les plus lus deviennent des cartes Épiques et Légendaires. L'article Théorème de complétude de Gödel a été lu environ 49 000 fois en un an. L'ATK vient de la longueur de l'article et la DEF de sa qualité : cette carte frappe à 63 et encaisse avec 33 de DEF, soit 13 % de dégâts en moins à chaque coup reçu.

Ouvre des packs. Chaque pack contient cinq cartes tirées de vrais articles de Wikipédia, la plus rare en dernier, et la cinquième est toujours Rare ou mieux. Les chances sont affichées dans le jeu. Un pack gratuit arrive toutes les heures et deux peuvent attendre, et les Pièces gagnées en duel achètent d'autres packs.

Les cartes juste au-dessus et juste en dessous de Théorème de complétude de Gödel au classement de puissance, tous domaines confondus.