因みに、多くの数学者は普通の主観的証明で充分だと思っている