non-euclidean geometry: (mathematics) geometry based on axioms different from Euclid's
abstraction: a general concept formed by extracting common features from specific examples
specialist: practices one branch of medicine