purist: someone who insists on great precision and correctness (especially in the use of words)
pedant: a person who pays more attention to formal rules and book learning than they merit
demonstrability: capability of being demonstrated or logically proved