In mathematics, a primitive notion is a concept not defined in terms of previously defined concepts, but only motivated informally, usually by an appeal to intuition and everyday experience. Mathematics is the body of Knowledge and Academic discipline that studies such concepts as Quantity, Structure, Space and For example in naive set theory, the notion of an empty set is primitive. Naive set theory is one of several theories of sets used in the discussion of the Foundations of mathematics. In Mathematics, and more specifically Set theory, the empty set is the unique set having no ( Zero) members (That it exists is an implicit axiom. In traditional Logic, an axiom or postulate is a proposition that is not proved or demonstrated but considered to be either self-evident, or subject ) For a more formal discussion of the foundations of mathematics see the axiomatic set theory article. In an axiomatic theory or formal system, the role of a primitive notion is analogous to that of axiom. In formal logic, a formal system (also called a logical system, a logistic system, or simply a logic Formal systems in mathematics consist In axiomatic theories, the primitive notions are sometimes said to be "defined" by the axioms, but this can be misleading.