∀x ( x ≠ ∅ → ∃y ( y∈x ∧ ∀z (z∈y → ¬(z∈x)) ) )

音乐盲盒:123456
  • Bangumi 2023-8-19 加入