Тогда должны существовать отрицательные, вещественные, мнимые и комплексные страны.
Да, вот я о том же подумал.
Но не будет ли оскорблением целой страны указание, что она является отрицательной? Если да - то получается, что всякая целая страна является положительной (at least неотрицательной)? Неожиданное свойство, не правда ли?
Дальше, я думаю, перебором множества

(или каким-то другим методом) можно решить вопрос о существовании целых стран, доказать его, и потом перейти к следующему этапу - к существованию оскорблений таких стран.