ilksav kalıbı ne demek?
- Her örneği, sözedilen dilde ilksav olan önerme kalıbı.
Axiom schema.
Schème d'axiome
ilksav
- Mantıksalilksav ya da özelilksav. || Anl. belit.
Axiom.
Axiome
ilksavlandırılır kuram
- 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
Axiomatizable theory.
Théorie axiomatisable
kalb
- Bk. yürek
- Vücudun kan dolaşımı merkezi. Yürek.