- 1 名前：1 [04/10/13 18:26:50]
-
数学基礎論の質問スレッドが、今、無いようなので、新しくたてました。
ほかに質問のある方、どしどしと、質問してみてください。誰かが、教えてくれることもあるでしょう。
さて、私の質問ですが、
『論理学をつくる』という本の、一階述語論理の公理系の例のところに、
公理として、 ∀ξ（ξ=ζ） ξ、ζは個体変項をあらわす図式文字
というものがあがっていました。
公理ということは、恒真式なはずなんだけど、それが、なぜ、恒真式なのかが、わからなくて、疑問におもっています。
どなたか、わかる方、お教えください。
- 997 名前：１３２人目の素数さん mailto:sage [2006/03/32(土) 19:26:16 ]
- >>995
自然数数論云々はあくまでゲーデルが最初に自然数論を用いて不完全性を照明したという
歴史的背景によるものであって、チャーチとかは自然数論に持ち込まずに不完全性を証明してる罠
- 998 名前：下妻物語 [2006/03/32(土) 21:05:34 ]
- | ｲ ／／＼＼ .ﾄ |
| |／／ | ＼ヽl.| |
ヽ| ﾚ' ﾄ、| |
|/ Ｙ ヽ |/
||丶＿人＿_ノ | |
|| | | | .|
|| .|.__＿＿_|. |,..i
| |. | |
| |. | |
( ⊃ ( ⊃
栄えあるATがピンチです。助けて下さい。
AT最強！！
hobby7.2ch.net/test/read.cgi/bike/1142693513/
- 999 名前：１３２人目の素数さん mailto:sage [2006/03/32(土) 21:11:35 ]
- 999
- 1000 名前：1000 mailto:sage [2006/03/32(土) 21:11:39 ]
-
1000 円均一 〜
って、もう 寝よ っと。
基礎は睡眠にあり〜
ってなんちって
てへ
- 1001 名前：１００１ [Over 1000 Thread]
- このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
|
 |
