exploration: to travel for the purpose of discovery
abstraction: a general concept formed by extracting common features from specific examples
pedant: a person who pays more attention to formal rules and book learning than they merit