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
nosebag: a canvas bag that is used to feed an animal (such as a horse); covers the muzzle and fastens at the top of the head