BSTS / Mantık Terimleri Sözlüğü
özel ilksavlar kümesi anlamı İng. set of proper axioms, specificaxioms, non-logical axioms Alm. nicht-logische Axiommenge Fr. ensemble d'axiomes non-logiques
Bir biçimsel dizgenin geçersiz önermeleri arasından seçilmiş, saptanır önerme kümesi.