0
Anonymous
Axioms and logic (and previously proved theorems).
Wiki User
Chat with our AI personalities
Either axioms or other statements which have already been proven (theorems).