ilksavlandırılır kuram anlamı İng. axiomatizable theory Alm. axiomatisierbare Theorie Fr. théorie axiomatisable
Bir kuramın ilksavlandırılır olması, bu kuramdaki mantıkça kapalı önerme kümesinin tüm öğelerinin, kümenin yinelgen bir altkümesinden türetilebilmesi demektir