25/11/14 08:52:48.15 iHfr5kmW.net
>>875
>"「属性方程式」a∈aを解きたい"という Motivation
>があって、”ラベルを貼る”を やった
>ところが、ショルツェ氏が しゃしゃり出る
>”simplification”で ラベルを無くしたら おかしくなるよと
ということは"ラベル"が無意味なのかもしれませんね
F1も今のところ無いものです
あって欲しいからそれが正当化できる理論が探されてるようですね
もしかしたらF1についての要求がある程度固まったら
それを論理式で表して
「その論理式を満たす数学的対象が存在する」
を公理にするなんてことになるかもしれませんね
"ラベル"もその類いかも？