構成主義はしばしば直観主義と同一視される、しかしながら直観主義は構成主義者のプログラムのひとつでしかない。個人的な数学者の直観のなかに数学の基礎がおかれるところの直観主義数学は、それによってひとつの内在的で主観的な活動のなかへと数学をさせている[2]。他の形の構成主義は直観のこの見地において基礎をもたない、そして数学において客観的な見地をもって両立できる。 関連項目 ・計算可能性理論 https://en.wikipedia.org/wiki/Constructivism_(philosophy_of_mathematics) Constructivism (philosophy of mathematics) Contents 1 Constructive mathematics 1.1 Example from real analysis 1.2 Cardinality 1.3 Axiom of choice 1.4 Measure theory 2 The place of constructivism in
