Aserto nedemonstrita, sed evidenta per si mem.
postulato,
dogmo.
2.
[1]
Aserto nedemonstrita, sed akceptata kiel bazo por
konstrui teorion per rezonado:
aksiomo pri apartigeco (la karakteriza eco de
apartiga spaco);
la aksiomaro de arteorio;
aksiomaro devas esti nedependa (neniu aksiomo rajtas esti
logika
konsekvenco de aliaj aksiomoj) kaj ne kontraŭdira
(du malsamaj konsekvencoj de la aksiomoj ne rajtas esti
inter si
kontraŭdiraj).
konjekto,
postulato,
teoremo.