なぜ悪質な永久機関ビジネスはなくならないのか？４at SCIなぜ悪質な永久機関ビジネスはなくならないのか？４ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト352:ご冗談でしょう？名無しさん 13/08/14 NY:AN:NY.AN おっぱい葡萄 めこすじ 353:ご冗談でしょう？名無しさん 13/08/14 NY:AN:NY.AN aVqeoTIH スジの上にぶどうアリ 354:ご冗談でしょう？名無しさん 13/08/15 NY:AN:NY.AN やっぱり根本的に脳神経の作りと知能指数が違うんだろうな >>279 > ラッセル集合は{x|x∈x} > {x| not x∈x}はその否定 > つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ >>310 > Russell set {x | not(x ∈ x)} >>245 > >>240 > ＞∀x(not x∈x) はZF集合論では定理だが型理論では文法違反 > > 0点 > ZF集合論では集合とみなされないので定理にならない >>310 > ∀x(not x ∈ x) holds in ZF 355:ご冗談でしょう？名無しさん 13/08/15 NY:AN:NY.AN T1eN0Y5I >>354 346 名前:ご冗談でしょう？名無しさん :2013/08/13(火) NY:AN:NY.AN ID:8zEYAJxE >つまりZFで基礎の公理を使わずに証明できるって事ですよ それ、ZFじゃないじゃん 公理的集合論ではない 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch