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