The relative strength of two systems of formal logic can be defined via model theory. Specifically, a logic α α --> {\displaystyle \alpha } is said to be as strong as a logic β β --> {\displaystyle \beta } if every elementary class in β β --> {\displaystyle \beta } is an elementary class in α α --> {\displaystyle \alpha } .[1]
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.
Lokasi Pengunjung: 3.149.28.236