Logic or Set Theory