Assioma

Dâ Wikipedia, la nciclupidìa lìbbira.
Jump to navigation Jump to search

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.