In mathematics, logic, philosophy, and formal systems, a primitive notion is a concept that is not defined in terms of previously defined concepts. It is often motivated informally, usually by an appeal to intuition or taken to be self-evident. In an axiomatic theory, relations between primitive notions are restricted by axioms. Some authors...