강제법 예문

• 강제법 공리는 다음과 같은 꼴의 명제이다.
• 이 핵심적인 성질들을 사용하여 각종 성질을 만족시키는 강제법 모형을 구성할 수 있다.
• 보다 일반적으로, 강제법 공리에 등장하는 기수 를 다른 기수로 대체할 수 있으며, 이 경우 와 같이 쓴다.