日記2

自然演繹を積極的に用いたい.

2023-08-17から1日間の記事一覧

ラッセルの背理(パラドックス)

ラッセルの背理 但しここではを限量しない.を集合と認めると,次のような矛盾が起こる.を集合と認めると,自身もの元である.すなわち である.今までの集合はたとえばは自分自身を元として含んでいない.したがって,集合とは ① 自分自身を元として含むも…