Assioma: differenze tra le versioni

Oggi giornoOggigiorno la [[logica matematica]] non ritiene più di potersi fondare su verità necessarie (o necessariamente evidenti a chiunque), e nella costruzione di un sistema deduttivo ci si limita ad elencare in modo "neutro" una serie di premesse per vedere quali implicazioni possano essere dedotte da esse. 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 [[Sistema assiomatico#Dimostrazioni e definizioni|definizione esplicita]] di 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 [[Sistema assiomatico#Dimostrazioni e definizioni|definizione implicita]] di quei termini.