- 58 名前：１３２人目の素数さん mailto:sage [2015/07/07(火) 21:09:11.20 ID:8IpK1zLJ.net]
- >>56
そんなことはないようだよ。何故ならその秋吉氏の呟きは
ask.fm/ytb_at_twt/answer/107955957834
を受けてのものだと思われるから。
リンクされている論文はそのものずばりのタイトルだけど
秋吉氏の引用していたRathjenの論文でのexistence propertyの定義に基づき
それが成り立たないという結果。
むしろ「普通の形」は標準的な論理学の教科書に出ているexistence property
すなわち「循環性を受け入れる」で採用している定義と考えるのが自然かと。
この「普通の形」からRathjen型は直ちに出るので、
Rathjen型が不成立なら普通の形も不成立なのは自明なので
秋吉氏がそこまで頭悪いという前提で推定するのもなんなんだけど
（そもそも変数しか項がない言語ではナンセンスなのは何度も言われてる通りで）
だからと言ってそれ以外に普通といえるほど有名なEPの定式化もないしね。
