＞元になってる公理(集合論だろう？)に矛盾がないと
＞証明されてないわけだから客観的な意味で正しいか
＞どうかはわからない。
いや、違う。「その公理系では全ての命題が客観的に
正しい」だけだ。形式化しなければ、主観に過ぎない。
但し、多くの数学者は客観性に価値をそれほど置いて
いないと思うね。だから、主観でもいいじゃない、と
言うこと

ある公理系が無矛盾だろうというのも主観だし、その
公理系に意味があるというのも主観だから。ただし、
その公理系からかくかくしかじかの命題が、形式的に
証明できるのは客観だ。それに、どのくらいの価値が
あるか、と思うのかは、主観だね