Axiome

Fro Wikipedia
Jump to navigation Jump to search

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.