26/07/29 11:28:26.35 rIIcIHs2.net
>>611
＞１）Lean語の方に何か追加するか
新たな公理の追加はＮＧ
これわかんないやつは素人
＞２）3.11.→3.12.の自然語記述を、もう少し緻密にするか
この１０年できなかったことを
いまさらほざくのはド素人
＞私見ですが、１）or ２）で決着するのでは？
決着できなかった方法を
いつまでもいうのはド素人
ガロア理論も全く理解できなかった高卒素人が
利口ぶって数学板に書き込むな
26/07/29 11:28:26.35 rIIcIHs2.net
>>611
＞１）Lean語の方に何か追加するか
新たな公理の追加はＮＧ
これわかんないやつは素人
＞２）3.11.→3.12.の自然語記述を、もう少し緻密にするか
この１０年できなかったことを
いまさらほざくのはド素人
＞私見ですが、１）or ２）で決着するのでは？
決着できなかった方法を
いつまでもいうのはド素人
ガロア理論も全く理解できなかった高卒素人が
利口ぶって数学板に書き込むな