Axiome
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.

Logike