"Assioma" : Diffirenzi ntrê virsioni
n r2.7.1) (Bot: Aggiungo: th:สัจพจน์ |
n Bot: Aggiungo: rue:Аксіома |
||
| Riga 66: | Riga 66: | ||
[[ro:Axiomă]] |
[[ro:Axiomă]] |
||
[[ru:Аксиома]] |
[[ru:Аксиома]] |
||
[[rue:Аксіома]] |
|||
[[sh:Aksiom]] |
[[sh:Aksiom]] |
||
[[simple:Axiom]] |
[[simple:Axiom]] |
||
Virsioni dû 07:56, 26 jin 2011
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.