Soyut mantık, matematiksel mantıkta bir cümle sınıfından ve oluşum, genişleme, eşbiçimlilik, yeniden adlandırma ve niceleme ile ilgili belirli özelliklere sahip bir yeterlilik ilişkisinden oluşan bir sistemdir.[1]

Lindström'ün karakterizasyonuna dayanarak, birinci mertebeden mantık eşitlilik dışında tek kompakt sayılabilir soyut mantıktır ve Löwenheim sayısı ω'ye sahiptir.[1]

Kaynakça

değiştir
  1. ^ a b Chang and Jerome Keisler Model Theory. s. 132. 11 Temmuz 2021 tarihinde kaynağından arşivlendi. Erişim tarihi: 11 Temmuz 2021.