>>537
まあ、大学初年級レベルでも
初めて出会う定義・公理に基づく証明とは、
そういうものだな

例えば、「箱入り無数目」定理について
ここの常連素人が、最初
「この記事間違っているんじゃね？」
と 騒いだとか
選択公理が分からなかったんだな

要するに、数学理論の定義・公理は
だれもが瞬時に理解できるとは言えない
真に新しい事柄とは 得てしてそういうもの

大学の数学はそういう傾向がある