構成的数学
構成的数学(こうせいてきすうがく、constructive mathmatics)
メモ
メモ
[Kolmogorov (1932, p. 59)] Andrey Kolmogorov, Zur Deutung der intuitionistischen Logik, Math. Z. 35 (1932) 58-65 [doi:10.1007/BF01186549]
[Troelstra (1969, §2)] Anne Sjerp Troelstra, §2 of: Principles of Intuitionism, Lecture Notes in Mathematics 95 Springer Heidelberg (1969) [doi:10.1007/BFb0080643]