Resultats de la cerca
Es mostren 4 resultats
contradictori | contradictòria
Matemàtiques
Dit d’una teoria els axiomes de la qual permeten de demostrar un teorema però també la seva negació.
teorema de Gödel
Lògica
Matemàtiques
Teorema segons el qual, si una teoria T és no contradictòria i si els axiomes de l’aritmètica són teoremes de T, aleshores T no és categòrica (dit d’una altra manera, existeixen relacions indeterminables en T).
D’aquí es desprèn que una teoria que contingui l’aritmètica és no contradictòria