emacs-w3m (Part 2) (662ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

116(1): 2005/04/07(木)20:47 AAS
なんだそのsignature

---

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-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.026s