tutarlı ne demek?
- Aralarında çelişki bulunmayan, her bakımdan uyumlu, insicamlı.
Consistent.
Coherent.
Logical.
Consequent.
tutarlı formül
- Mantıkta, en az bir yorum altında doğru olan formül.
tutarlı ilksavlı kuram
- Her önermesi kanıtlanamayan ilksavlı kuram. || Temel mantıklı tutarlı ilksavlı bir kuramın kanıtsavlar kümesinin doğrulayıcı yorumu vardır.
Consistent axiomatic theory.
Théorie axiomatique consistante