18/01/07 10:26:23.21 2gy+TNzs.net
URLﾘﾝｸ(www.age.ne.jp)
eurms氏の言い分ではBew[R(n);n]は、どのR(n)とも一致しないそうだが
単にゲーデルの定義した述語Bewは、証明可能の意味ではない、と
云ってるだけのように聞こえる
確かにゲーデルの定義した述語Bewでは、
任意の命題Pについて、Bew（P)⇒Pを
証明することはできない
Bew(P)⇒Pが証明できるのは、Pが証明できるときそのときに限られるから
18/01/07 10:26:23.21 2gy+TNzs.net
URLﾘﾝｸ(www.age.ne.jp)
eurms氏の言い分ではBew[R(n);n]は、どのR(n)とも一致しないそうだが
単にゲーデルの定義した述語Bewは、証明可能の意味ではない、と
云ってるだけのように聞こえる
確かにゲーデルの定義した述語Bewでは、
任意の命題Pについて、Bew（P)⇒Pを
証明することはできない
Bew(P)⇒Pが証明できるのは、Pが証明できるときそのときに限られるから