강도(수학적 논리)

형식 논리학의 두 시스템의 상대적 강도는 모델 이론을 통해 정의될 수 있다. 구체적으로는 $\beta {\displaystyle }$ ${\$$displaystyle \alpha}$의 모든 초등 클래스가 α ${\$$displaystyle \beta }$의 초등 클래스인$$ 경우$$ 논리 $\alpha {\displaystyle }$ {\displaystyle \$alpha }$만큼 논리 α ${\$$displaystyle$\alpha $\}\}$^[1]이 강한$$ 것으로 알려져 있다.

참고 항목

• 추상논리학
• 린드스트룀의 정리

참조

이 수학적 논리 관련 논문은 단조롭다. 위키피디아를 확장하여 도울 수 있다.

• v
• t