e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e, e,

Inoltre nessun sistema deduttivo tenta di dire "che cosa sono" i termini che esso impiega, nel senso che si è rinunciato al tentativo millenario (da cui aveva preso le mosse la costruzione della metafisica) di dare una definizione esplicitadi quei termini, e ci si limita a mettere assieme un sistema di enunciati che impiegano quei termini e dai quali si possano ricavare delle dimostrazioni, ritenendo in questo modo di aver dato una definizione implicita di quei termini.

Si è dunque rinunciato del tutto alle premesse che gli antichi consideravano "necessarie", cioè le definizioni e gli assiomi, e si sono mantenute solo le premesse "non necessarie", che sono i postulati e le ipotesi. Se poi si considera che la distinzione fra postulato e ipotesi ha più che altro un valore "polemico" nell'ambito dello scambio dialettico fra interlocutori, ci si rende conto che l'atteggiamento "neutro" che vorrebbe assumere la logica contemporanea è ben reso da ciò che viene semplicemente assunto come vero senza nessuna pretesa di conferma e di smentita, e questo concetto coincide esattamente con quello di postulato.

Sebbene - come si diceva - nessun enunciato possa essere considerato necessario o evidente, gli enunciati logici, essendo presenti in ogni sistema deduttivo, risultano quanto meno "universali". Di conseguenza fra tutte le premesse su cui si fonda un sistema deduttivo quelle logiche sono quelle che maggiormente si prestano a conservare l'appellativo diassiomi, mentre quelle specifiche si possono considerare dei postulati.

http://it.wikipedia.org/wiki/Assioma