多分ちゃんと教育受けた40代も、そう評価する>>645も公理系の定義を誤解している。