いま集合の要素について考えていたのだが
その要素を考慮せずに部分集合の証明ができてしまった
その意味はおそらく双対原理なのだと思う
双対原理の結果から
数学は完全に形式化される

これから理学部数学科は本当に役に立たない学科になる可能性がある
それだから理学といっても数学は形式科学として独立させた方がよい
役に立つ/立たない論争に巻き込むべきでない