アットウィキロゴ
629 名前:(´=∀=`)[] 投稿日:2006/12/27(水) 23:58:28 ID:dUR80Mno0 ?BRZ(5353)
1.先に定義した定義が有効である


2.「ID:0EuTW5/Z0は排中律をまず論破しないと
http://anime.2ch.net/test/read.cgi/news/1167211068/
↑このスレでスパゲティに何かの回答を要求することができない。」
と定義する。



面倒くさいので、こいつにも公理系を展開しました。
というわけでID:0EuTW5/Z0さんは排中律をまず論破しないといけませんね。

タグ:

+ タグ編集
  • タグ:
最終更新:2006年12月28日 00:12