BSTS / Mantık Terimleri Sözlüğü
temel mantıklı kuram anlamı İng. elementary theory, theory with standard formalization Fr. théorie égalitaire du premier ordre
Temel mantıklı bir biçimsel dil ile temel mantığın geçerli çıkarım kurallarına dayanan kuram. ||Örn. temel mantıklı sayı kuramı.