Being implicit from the beginning, existence, consciousness, and identity are outside the province of proof. Proof is the derivation of a conclusion from antecedent knowledge, and nothing is antecedent to axioms. Axioms are the starting points of cognition, on which all proofs depend.