emacs-w3m (Part 2) (662ﾚｽ)
上下前次1-新

---

117(1): Zeno ◆5nZQbNmQPs 2005/04/07(木)20:51 AAS
Reply-to:>>116
> なんだそのsignature

　　　　　　　　　　Go''del's First Incompleteness Theorem.

____________
If T is consistent, T !|- G_T.
if T is ω-consistent, T !|- ¬G_T.

---

上下前次1-新書関写板覧索設栞歴

---

あと 545 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.005s