ilksav ne demek?

1. Mantıksalilksav ya da özelilksav. || Anl. belit.
2. Axiom.
3. Axiome

ilksav kalıbı

1. Her örneği, sözedilen dilde ilksav olan önerme kalıbı.
2. Axiom schema.
3. Schème d'axiome

ilksavlandırılır kuram

1. 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
2. Axiomatizable theory.
3. Théorie axiomatisable

Türetilmiş Kelimeler (bis)