"Assioma" : Diffirenzi ntrê virsioni
n Bot: Aggiungo: war:Aksyoma |
n Bot: Modifico: an:Axioma |
||
Riga 12: | Riga 12: | ||
[[als:Axiom]] |
[[als:Axiom]] |
||
[[an: |
[[an:Axioma]] |
||
[[ar:بديهية]] |
[[ar:بديهية]] |
||
[[az:Aksiom]] |
[[az:Aksiom]] |
Virsioni dû 05:53, 3 mar 2010
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.