Axiomo: Diferi inter la revizi

Kontenajo efacita Kontenajo adjuntita
m roboto adjuntas: gl:Axioma
Nula rezumo di redakto
Lineo 1:
'''Axiomo''' esas un ek la fundamentala propozifrazo o propozo quin on mustas supozar sen pruvo dum komplikar [[logiko|logikala]] sistemo (videzed esas konsiderita kom [[logikoauto-evidentajo|auto-evidenta]]).
 
Axiomo ne mustas esar su-evidenta, ma devas esar konsequema kun la l'altra axiomi di la sistemo.
 
[[Category:Axiomo| ]]