Assioma (matematica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Aggiungo template {{interprogetto}} (FAQ) |
Nessun oggetto della modifica Etichette: Annullato Modifica visuale |
||
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
== Assiomi logici ==
| |||