Axiome
Appearance
Axiome es un del fundamental propositiones kel on mus suposi es veri sin pruvo in li kompilatione de logikal sisteme.
Axiome non mus es self-evidenti ma deve es konsequenti kun li altri axiomes del sisteme.
Promix relatet es li postulate kel es min arbitriari o basal supositione, provisorim akseptat por partikulari eme.