安達さんがわかってないのは公理主義という数学全体の哲学ですよ

定義が始まりでそれから何が得られるかを調べる学問だということがわからないから、いつまでたっても定義にケチをつけ続ける