数学とか 真部分集合の定義
A⊂B⇒A=B これを自然演繹風に反証しようとした場合、真部分集合がないと不便だなと。 真部分集合 集合 A が集合 B の真部分集合であるとは、A ⊆ B かつ A ≠ B が成り立つことである。 Wikipedia とりあえずこの定義を...
数学とか
よもやま話
よもやま話
トレーニング
よもやま話
数学とか
技術
よもやま話
よもやま話
よもやま話
よもやま話
よもやま話