Histoire des mathématiques Théorème

principe d'explosion

Théorème

principe de logique énonçant « d'une contradiction on peut déduire ce qu'on veut »

domaine
axiome

Sources