XOR, а как ты будешь определять мощность множества, не определив само множество? Сначала надо определить полное упорядоченное поле, а уже потом можно доказывать, что оно более чем счётно.