V 권

목차


정의


명제


V 권 논리적 구조

V 권 명제들의 종속 관계
2 2, 6
3 4
1 5, 8, 12
8 9
7,8* 10
8*, 10, 13 14*
7, 12 15
11, 14, 15 16
1, 2 17
11, 14*, 17 18
11, 16*, 17 19
7 따름명제, 8, 10, 13 20, 21*
4, 20 22
11, 15, 16*, 21* 23*
7 따름명제, 18, 22 24
7, 11, (14), 19 25*

*: V권의 일부 명제들은 [V권 정의 4]를 비교 공리(Axiom of comparison)처럼 다루어져야 한다.


© 2020. MathEcclesia all rights reserved

Top