Posts 2023-02-19 논리학과 집합론의 순환 참조? 2023-01-02 Post-CHEESE: list of other open problems 2022-09-19 Some short thoughts about classical realizability 2021-06-01 서수란 무엇인가 2021-03-05 어떻게 집합론을 공부할 것인가 2020-11-21 A useful lemma for multivalued functions over $\mathsf{CZF}$ 2020-08-15 Infinite decreasing $\in$-chains and the axiom of coutable choice 2020-06-10 연속체 가설을 중심으로 한 집합론의 역사 2020-03-11 Axiom of Regularity ― an introduction 2019-12-19 치환공리