It also seems intuitively wrong that there are different sizes of infinity, yet Cantor discovered exactly that.