Assioma (matematica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 1:
{{F|matematica|novembre 2010}}
In [[matematica]] si chiamano '''postulati''' o '''assiomi''' tutti e solo gli enunciati che, pur non essendo stati dimostrati, sono considerati veri. Generalmente forniscono il punto di partenza per delineare un quadro teorico come può essere quello della [[teoria degli insiemi]], della [[geometria]], dell'[[aritmetica]]
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''.
| |||