Assioma

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.