>>572
また厳密な推論だけでは、岡潔の
不定域イデアルには到達できなかった。
したがって、厳密さだけで数学に向き・不向き
を決めるのはかなり無理がある。
これはどうか？