河東泰之「セミナーの準備のしかたについて」は本当に正しいのか？

河東泰之「セミナーの準備のしかたについて」は本当に正しいのか？at MATH

河東泰之「セミナーの準備のしかたについて」は本当に正しいのか？ - 暇つぶし2ch525:１３２人目の素数さん
23/12/14 16:04:48.59 BDnLg41u.net
>>486　
>{ x | 0 = 1 }
　空集合ですね
　ところで、
　ラッセル集合{x | x∉x}　の上位版で、
　カリー集合　{x | x∈x⇒P}　ってのもありますね
　これ使うと、どんなPも証明できるスグレモノです
　URLﾘﾝｸ(ja.wikipedia.org)

次ページ

続きを表示

1を表示