Skip to content

Instantly share code, notes, and snippets.

@yuchiki
Last active August 17, 2021 11:38
Show Gist options
  • Save yuchiki/54bf906e9f925339a9127c516bec6b7f to your computer and use it in GitHub Desktop.
Save yuchiki/54bf906e9f925339a9127c516bec6b7f to your computer and use it in GitHub Desktop.
空集合 Φ1, Φ2 を任意にとる。
空集合の定義より、Φ1, Φ2はその要素を持たない。
今、 Φ1の任意の要素に対して、それはΦ2の要素である。 (vacuously true)
また、Φ2の任意の要素に対して、それはΦ1の要素である。 (vacuously true)
したがって 集合の等しさの定義より、 Φ1 = Φ2.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment