Difarense intrà łe version de "Asioma"
[Revixion njiancora controłà] | [Revixion njiancora controłà] |
Contenuto cancellato Contenuto aggiunto
p Bot: Aggiungo: an, ar, be-x-old, bg, bs, ca, fi, gd, gl, is, it, ka, kk, la, lv, mk, ml, nn, nov, ro, sh, simple, sk, sq, sr, ta, tr, yi, zh-classical, zh-min-nan, zh-yue |
p Bot: Aggiungo: scn:Assioma |
||
Riga 54: | Riga 54: | ||
[[ro:Axiomă]] |
[[ro:Axiomă]] |
||
[[ru:Аксиома]] |
[[ru:Аксиома]] |
||
[[scn:Assioma]] |
|||
[[sh:Aksiom]] |
[[sh:Aksiom]] |
||
[[simple:Axiom]] |
[[simple:Axiom]] |
Version de le 16:01, 6 mar 2009
Un asioma xe un principio generàe che, a difarènsa dei teoremi o dee proposisiòn, no và dimostrà parchè vièn considerà sempre vèro (se tolto in te l'ambito che'l riguarda). Pa sto motivo i asomi xe usà in matematica come premesa pa sviùppi de teorie, 'e quai riva a conclusiòn pì complesse, che reputemo vère in virtù de tute e dimostrasiòn che, diretamente o indiretamente, usa i asiomi pa verificarse vere.
Esempio
In Q l'operasion '+' verifica ste quatro proprietà:
- Asociatività: pa ogni x,y,z in Q vàe
- Comutatività: pa ogni x,y Q vàe
- Esistensa del' elemento neutro, ciamà xero tàe che pa ogni x in Q
- Esistensa del' oposto: pa ogni x in Q esiste tàe che
Questo in te l'insieme dei numari Q l'è un asioma parchè l'è di par sè vero, e pa poder dire che na operasion qualsiasi xe 'na somma bisogna che eà sodisfa chee quatro proprietà.