> Лобачевский опроверг один из главных постулатов Евклида
Не опроверг, а откинул и заменил своей аксиомой. И тем самым показал возможность построения неевклидовых геометрий.
Если что, проблема только в слове "опроверг".
Upd. Имхо "опроверг" было бы, если бы он взял остальные аксиомы и из них показал, что утверждение неверно.