1 역주 무한의 크기를 수학적으로 다루기 위해 정의된 수입니다.

  2 공리화란 어떤 학문 분야를 완벽하게 설명할 수 있도록 그 기초가 되는 공리, 가정, 논리적 규칙들을 설정하는 작업입니다. 다시 말해 모든 내용을 이 공리들과 규칙에서 도출해 낼 수 있도록 체계를 세우는 것입니다.

  3 역주 수학을 의미보다는 형식적 규칙과 기호의 조작으로 이해하는 철학적 관점을 의미합니다.

  4 “자기 자신을 포함하지 않는 모든 집합의 집합은 자기 자신을 포함하는가?” 또는 “이 명제는 거짓이다.”처럼 자기 참조 모순을 가진 명제를 의미합니다.

  5 ‘캔슬 컬처’는 사실상 인류 사회의 역사만큼이나 오래된 악습입니다.

  6 공식 독일어 제목은 Die Axiomatisierung der Mengenlehre입니다.

  7 그로부터 또 40년이 지나서야 니가드(Nygaard)와 달(Dahl)은 시뮬라(SIMULA)라는 프로그래밍 언어를 만들면서 폰 노이만의 클래스 개념이 필요하다는 사실을 깨닫게 됩니다.

  8 일종의 술어 논리 체계입니다.