>>611
＞１）Lean語の方に何か追加するか
新たな公理の追加はＮＧ
これわかんないやつは素人

＞２）3.11.→3.12.の自然語記述を、もう少し緻密にするか
この１０年できなかったことを
いまさらほざくのはド素人

＞私見ですが、１）or ２）で決着するのでは？
決着できなかった方法を
いつまでもいうのはド素人

ガロア理論も全く理解できなかった高卒素人が
利口ぶって数学板に書き込むな