Akademik

endlich-axiomatisierbar,

 

Eigenschaft einer mathematischen Theorie, für die eine endliche Menge von Axiomen ausreicht, um daraus alle Sätze dieser Theorie abzuleiten.