Strength (mathematical logic)

The relative strength of two systems of formal logic can be defined via model theory.

Specifically, a logic

is said to be as strong as a logic

if every elementary class in

[1] This mathematical logic-related article is a stub.