なぜ悪質な永久機関ビ ..
370:ご冗談でしょう?名無しさん
13/08/16 NY:AN:NY.AN
Journal of Applied Logic
Volume 3, Issue 1, March 2005, Pages 15-41
URLリンク(www.sciencedirect.com)
The most popular of those is the so-called Russell set, R := {x|not x∈x}, for by the law of
excluded middle one immediately gets ‘R∈R∧not R∈R’, an apparent contradiction.
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
4191日前に更新/203 KB
担当:undef