Assioma (matematica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica Etichette: Annullato Modifica visuale |
m Annullata la modifica 115942786 di 84.33.142.137 (discussione) Etichetta: Annulla |
||
Riga 3:
In [[matematica]] si chiamano '''postulati''' o '''assiomi''' tutti e soli 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]], della [[teoria dei gruppi]] o nel [[calcolo delle probabilità]].
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''.
== Assiomi logici ==
| |||