man kunde uppställa en sådan mängdteoretiska