We define and study λ-conflict theories and, in particular, conflict-free theories. A series of conflict-free theories is found. It is proved that there are λ-conflict theories for arbitrary. It is shown that λ-conflictness is not preserved under expansions of theories.
Предметные области OECD FOS+WOS
- 1.01 МАТЕМАТИКА
- 27.03 Математическая логика и основания математики