既存の数学は全て、集合の上の構造ですが