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  dat deze sterker is dan een logica  wanneer elke elementaire klasse in  een elementaire klasse in  is.

Zie ook
 Abstracte logica
 Stelling van Lindstrom

Wiskundige logica