ilksavlı mantık dizgesi ne demek?

(i) bir kuram, (ii) kuramdaki mantıkça kapalı önerme kümesinin bir altkümesi olarak seçilen özel ilksavlar kümesi, (iii) özel ilksavlar kümesinden türetilebilen kanıtsavlar kümesi'nden oluşan dizge; başka bir deyişle geçerli bir biçimsel dizge ile özel ilksavlar kümesinin mantıksal kapanışından oluşan dizge. Krş.. yorumsal eksikliilksavlı kuram, yorumsal eksiksizilksavlı kuram, dizimsel eksikliilksavlı kuram, dizimsel eksiksizilksavlı kuram, tutarlıilksavlı kuram.
Axiomatic theorie, axiomatic formal theory,postulate theory.
Théorie axiomatique

Doğru düşünme sanatı ve bilimi
Doğru düşünmenin yolu ve yöntemi
Düşüncenin ve düşüncenin varlık biçimlerinin, ögelerinin, türlerinin, olanaklarının, yasalarının ve düşünce bağlamlarının bilimi.
(İntak. dan) Konuşturan, söyleten.
Gerçeği aramaya yönelen zihin işlemlerinden hangilerinin doğru, hangilerinin yanlış yola çıktığını açıklayan ilkeleri yöntemli olarak inceleyen bilim.
Çıkarım ve kanıt gösterme bilimi.
Gereklik, erek ya da yargı ile iş, araç ya da kanıt arasında var olan tutarlık.
Olguların ve düşüncelerin düzenli biçimde sıralanması.
Öğrencilere doğru düşünme ilkelerini ve yollarını öğreten derse verilen ad.
Dialectic.

Bir bütün oluşturacak biçimde birbirine bağlı ögelerin bütünü, manzume, sistem.
Bir ilkeye veya dünya görüşüne göre düzenlenmiş düşünceler, bilgiler, öğretiler bütünü, manzume, sistem.
Bir müzikal eserin belirli bir çalgı ile ve bu çalgı üzerindeki hangi tel ve perdelere basılarak çalınacağını, nota yerine çeşitli rakam, harf ve işaretlerle gösteren sistem.
Bir bütünü oluşturacak biçimde karşılıklı olarak birbirine bağlı öğelerin tümü.
Üzerinde ölçme yapılan ya da söz konusu olan belirli nesneler topluluğu.
Tablature.
System.
System sistem.
System
Système