들어가는 말

      증명하기의 과제 및 조건, 데데킨트의 체계, 슈뢰더의 집합

Ⅰ. 개념 표기법에 대한 설명

1. 원기호들

함수, 개념, 관계에 관한 소개말

§ 1. 함수는 불포화 상태이다.

§ 2. 진리값, 외연적 의미와 내포적 의미, 사고, 대상

§ 3. 함수값 추이, 개념, 개념의 외연

§ 4. 독립변항이 두개인 함수

함수의 기호들

§ 5. 판단과 사고, 판단 표시선과 수평선

§ 6. 부정 표시선, 수평선의 융합

§ 7. 동일성 기호

§ 8. 일반성, 독일어 철자, 그것의 영역, 수평선의 융합

§ 9. 함수값 추이 기호, 그리스어 모음 소문자들, 그것들의 영역

§ 10. 보다 정학한 규정, 함수값 추이란 어떤 것이라야 하는가

§ 11. 특정한 항의 대체, 함수 ∖c

§ 12. 조건 표시선, 연언, 부정 연언, 선언, 위 가지, 아래 가지

§ 13. 만약 ~라면, 모든, 각각의, 종속, 특수 긍정명제, 약간의

§ 14. 첫 번째 추론방식

§ 15. 두 번째 추론방식, 환질환위

§ 16. 세 번째 추론방식

§ 17. 라틴어 철자들, 라틴어 철자에서 독일어 철자로의 전환

§ 18. 개념표기 기호의 법칙들(Ⅰ, Ⅳ, Ⅵ)

§ 19. 함수에 관한 일반성; 함수철자들, 대상철자들

§ 20. 개념표기 기호의 법칙들(Ⅱa, Ⅲ, Ⅴ)

§ 21. 첫 번째 단계와 두 번째 단계의 함수들과 개념들

§ 22. 두 번째 단계의 함수들의 예, 단계가 다른 함수들과 개념들

§ 23. 독립변항과 독립변항위의 종류, 두 번째 및 세 번째 종류의 독립변항을 지닌 두 번째 단계의 함수들

§ 24. 함수철자의 사용에 대한 일반적인 설명

§ 25. 두 번째 단계의 함수들에 관한 일반성, 법칙 Ⅱb

§ 26. 기호, 이름, 표시, 개념표기 명제, 사이기호의 구분

§ 27. 정의의 이중선

§ 28. 정당한 이름 짓기

§ 29. 언제 이름은 무언가를 의미하는가?

§ 30. 이름을 짓는 두 가지 방법

§ 31. 우리의 단순한 이름이 무언가를 의미한다.

§ 32. 각각의 개념표기 명제는 하나의 사고를 표현한다.

§ 33. 정의항의 기본법칙들

§ 34. 함수 c⌢z의 정의

§ 35. 첫 번째 단계의 함수로 두 번째 단계의 함수를 대행하기

§ 36. 이중의 함수값 추이, 관계의 범위

§ 37. 함수 Ic의 정의

§ 38. 함수 ❭c의 정의

§ 39. 함수 ?c의 정의

§ 40. 함수 c의 정의

§ 41. ⧵0의 정의

§ 42. ⧵1의 정의, 수의 개념

§ 43. f의 정의

§ 44. 예로서의 몇몇 개념표기 명제들

§ 45. 함수 ′-c의 정의, 한 열에서 수행과 선행

§ 46. 함수 ﹶ⌣c의 정의

§ 47. 기본 법칙들로 편성

§ 48. 규칙들로 편성

§ 49. (Ⅰ)로부터 명제 몇 개 연역

§ 50. 함수 c〓z의 주요 명제 연역

§ 51. (Ⅳ)로부터 명제 몇 개 연역

§ 52. (Ⅴ)와 (Ⅵ)으로부터 명제 몇 개 연역

Ⅱ. 수의 기본법칙에 대한 증명

§ 53. 머리말

§ 54에서 § 59까지.  함수 c⎵z의 정의, 명제는 (1)에서 (19)까지

§ 60에서 § 65까지.  명제는 (32)까지

§ 66에서 § 77까지. 명제는 (56)까지

b) 아래 명제의 증명과 B절의 끝

§ 78에서 § 87까지. 명제는 (71)까지

§ 88에서 § 91까지. 명제는 (84)까지

§ 92에서 § 95까지. 명제는 (90)까지

§ 96에서 § 97까지. 명제는 (95)까지

§ 98에서 101까지. 명제는 (107)까지

§ 102에서 § 107까지. 명제는 (122)까지

§ 108과 § 109. 명제는 (126)까지

§ 110에서 § 113까지. 명제는 (145)까지

§ 114에서 § 119까지. 명제는 (155)까지

§ 120과 § 121. 명제는 (161)까지

§ 122에서 125까지. ⩊⁀의 정의, 명제는 (167)까지

§ 126에서 § 127. 명제는 (172)까지