Mantıksal olmayan değişmezler ile mantıksal olmayan ilksavlardan yoksun olan biçimsel kuram. || Örn. Yalınç eşitlik kuramı, temel mantıklı biçimsel kuramlar arasında yer alan tek salt mantıksal kuramdır.