Ｎスペ「数学者は宇宙をつなげるか？abc予想証明をめぐる~」を見れば、
○異なるものを同じと見なしつつ、同じだが「異なる」と認識する
○このことを記述しうる言語体系の開発が必要
という話に。まさかの【レンマ】の論理の登場に驚愕

https://note.com/way_finding/n/n91df66707081