Vocabulaire de théorie des ensemble.

Maître Nombre de messages : 101 Age : 31 Date d'inscription : 02/02/2011

Salut.
Je n'ai compris le paragraphe suivant:

Dans une théorie non contradictoire, il peut exister des
assertions A telles que ni A ni ( non A ), ne soient insérables
dans un texte démonstratif interne à la théorie: de telles
assertions sont dites indécidables.
Si A est indécidable, on peut à volonté rajouter A (resp. (non A))
aux axiomes de la théorie, et on obtient ainsi deux nouvelles théories
non contradictoires.

Merci.