>>9
例えば命題・証明だとか定理が正当であることは何が保証するのでしょうか。
私たちは何に対して定理・補題などと呼称しているのでしょうか。
もちろん宇宙人と呼ばれる方が数学を持っていたとして、
ではその数学が正当であることは私たち・宇宙人を抜きにして保証されるのでしょうか。
定理とは主観的価値であり、数学も主観的価値ではないのでしょうか。
それも何らかの生活的直感を持った生物の。