集合論じたいがロジックというより代数だろうな