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