ラッセルのパラドックス
ラッセルのパラドックス
自分自身を要素として持たない集合全体の集合\(R=\left\{ A;A\notin A\right\} \)は存在しない。
自分自身を要素として持たない集合全体の集合\(R=\left\{ A;A\notin A\right\} \)は存在しない。
\(R\in R\)と仮定すると、\(R\)の定義より\(R\notin R\)となり矛盾。
また、\(R\notin R\)と仮定すると、\(R\)の定義より\(R\in R\)となり矛盾。
故に集合\(R\)は存在しない。
また、\(R\notin R\)と仮定すると、\(R\)の定義より\(R\in R\)となり矛盾。
故に集合\(R\)は存在しない。
ページ情報
| タイトル | ラッセルのパラドックス |
| URL | https://www.nomuramath.com/luoi3e13/ |
| SNSボタン |
『オイラーのトーシェント関数の性質 』を更新しました。
否定同値の否定同値は同値の同値
\[
P\nleftrightarrow Q\nleftrightarrow R\Leftrightarrow P\leftrightarrow Q\leftrightarrow R
\]
ソフィー・ジェルマンの恒等式
\[
a^{4}+4b^{4}=\left(a^{2}+2ab+2b^{2}\right)\left(a^{2}-2ab+2b^{2}\right)
\]
論理演算子の移項
\[
\left(P\land R\right)\rightarrow Q\Leftrightarrow P\rightarrow\left(Q\lor\lnot R\right)
\]