Assioma (matematica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: sintassi dei link |
piccolo errore di concordanza |
||
Riga 1:
{{F|matematica|novembre 2010}}
In [[matematica]] si chiamano '''postulati''' o '''assiomi''' tutti e
Nella [[logica matematica]] l'idea di ''assioma'' e ''dimostrazione'' viene completamente formalizzata. Gli assiomi di una [[logica proposizionale|teoria proposizionale]] o di una [[teoria del primo ordine]] sono un ben definito insieme di [[formula ben formata|formule]] che possono essere usate nella teoria per costruire dimostrazioni formali. In questo ambito si fa una netta distinzione tra le due nozioni di ''assioma logico'' e ''assioma non-logico''.
|