- 367 名前：第六天魔王 Mara Papiyas ◆nu1CsB1UiBUP mailto:sage [2023/01/02(月) 21:56:36.79 ID:bB/h5A70.net]
- >>324
>ほいよｗ
https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86
>ゲーデル文Gは
>「「xで表される述語の対角化は証明できない」で表される述語の対角化は証明できない」
>と表される。
その文章をウィキペディアに書いたのが誰だか御存知かな？
https://ja.wikipedia.org/w/index.php?title=%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86&diff=23815616&oldid=23808143
