"Assioma" : Diffirenzi ntrê virsioni
n Bot: Aggiungo: az:Aksiomlar |
n Bot: Aggiungo: el:Αξίωμα |
||
Riga 23: | Riga 23: | ||
[[da:Aksiom]] |
[[da:Aksiom]] |
||
[[de:Axiom]] |
[[de:Axiom]] |
||
[[el:Αξίωμα]] |
|||
[[en:Axiom]] |
[[en:Axiom]] |
||
[[eo:Aksiomo]] |
[[eo:Aksiomo]] |
Virsioni dû 20:28, 23 giu 2009
Nu Assioma eni na dichiarazzioni di loggica. 'Nta nu sistema ca eni di solitu pigghiatu ppi veru. Nun avi bisognu di ssiri pruvatu. A pàrtiri di l'assioma puoi a loggica e custruisci tiuremi.
Nu matimaticu ciamatu Euclidi criau na lista d'assioma nta circa lu 300 p.e.V.
Chissi erunu:
Du nummira ca sunu ugguali a nu terzu nummiru sunu tutti tri lu stissi nummiru.
Si A e B sunu du nummira ca sunu ugguali, e C e D sunu puri ugguali allura A+C eni lu stissu di B+D.
Si A e B sunu dui nummira ca su ugguali e C e D sunu magari ugguali, A-C eni lu stissu di B-D.
Dui formi ca rièmpiunu isattamenti lu stissu spazziu sunu a stissa forma.
Si s'addividi nu nummiru quarsiasi cchiu ranni di 1, lu quozienti (arrisultatu) assiri cchiu nicu di lu nummiru urigginali.