Sterkte (wiskundige logica)

De relatieve sterkte van twee systemen van formele logica kan worden gedefinieerd door middel van de modeltheorie. Specifiek zegt men van een logica $\alpha$ dat deze sterker is dan een logica $\beta$ wanneer elke elementaire klasse in $\alpha$ een elementaire klasse in $\beta$ is.

Zie ook

• Abstracte logica
• Stelling van Lindstrom