Carte Rare

Cohérence (logique)

propriété d'une théorie axiomatique

Valeur

50 W

Attaque

242

Défense

193

Joueurs

0

260 vues Wikipédia ces 30 derniers jours

En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction : il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie : celle-ci possède des…