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
indirect tax: a tax levied on goods or services rather than on persons or organizations