>>45
構成主義ですね。分ります（＾＾
が、現代数学の主流ではありませんね（＾＾

https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E3%81%AE%E5%93%B2%E5%AD%A6#.E6.A7.8B.E6.88.90.E4.B8.BB.E7.BE.A9
数学の哲学
(抜粋)
構成主義
構成主義もまた、一定のいみで明白に構成することのできる数学的なものだけが数学的言説において認められるべきであるという規制原理を主張する。
構成主義の支持者たちの中には、非構成的証明（背理法など）を拒否する者もいる。
(引用終り)

＜具体的な構成を持たない例＞
https://ja.wikipedia.org/wiki/P%E9%80%B2%E6%95%B0
p進数
(抜粋)
p 進数体の性質
実数体 R の代数閉包（複素数体 C）が二次拡大で完備であるのに対し、p 進数体 Qp の代数閉包 Qp は無限次拡大でしかも完備ではない。
その完備化は代数閉体であって、Cp と表される。
これは複素数体 C と体として同型であるが、同型写像の存在は選択公理に依存しており、具体的に同型写像を与えることはできない。
(引用終り)