axiom: (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
abstraction: a general concept formed by extracting common features from specific examples
loanblend: a word that is composed of parts from different languages (e.g., `monolingual' has a Greek prefix and a Latin root)