"Assioma" : Diffirenzi ntrê virsioni
n Bot: Aggiungo: ms:Aksiom |
n Bot: Aggiungo: frr:Aksioom |
||
Riga 33: | Riga 33: | ||
[[fi:Aksiooma]] |
[[fi:Aksiooma]] |
||
[[fr:Axiome]] |
[[fr:Axiome]] |
||
[[frr:Aksioom]] |
|||
[[gd:Aicseam]] |
[[gd:Aicseam]] |
||
[[gl:Axioma]] |
[[gl:Axioma]] |
Virsioni dû 09:54, 20 aus 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.