0
Anonymous
It is a system of logical calculus on which logic axioms are based on.
Wiki User
Chat with our AI personalities