Difarense intrà łe version de "Asioma"
[Revixion njiancora controłà] | [Revixion njiancora controłà] |
Contenuto cancellato Contenuto aggiunto
p Bot: Zonto: pnb:منیا پرمنیا |
p Bot: Zonto: mn:Аксиом |
||
Riga 55: | Riga 55: | ||
[[mk:Аксиома]] |
[[mk:Аксиома]] |
||
[[ml:സ്വയംസിദ്ധപ്രമാണം]] |
[[ml:സ്വയംസിദ്ധപ്രമാണം]] |
||
[[mn:Аксиом]] |
|||
[[ms:Aksiom]] |
[[ms:Aksiom]] |
||
[[new:एक्जियोम]] |
[[new:एक्जियोम]] |
Version de le 13:42, 20 oto 2010
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à.