- 787 名前：１３２人目の素数さん mailto:sage [2011/08/31(水) 16:32:36.12 ]
- >>784
＞>>767=>>775
＞766が折角指摘してるんだから「帰納法が成り立つ」って条件を忘れるなよ。
＞それともこの条件は不要だと言いたいのかい？
帰納法が必要なのは「演繹規則について閉じてる」から
「(超準的な)演繹について閉じている」を示す部分だから必要ないのでは？
まあ>>775の書き方だと標準的な演繹だけとも読めるので、
その違いが正に問題になっているときにそんな書き方するなよ、
ということなら>>784に賛成する。
|
 |
