Questions tagged [second-order-logic]
181 questions
1
vote
2 answers
An axiom that is not like axiom
Hackstaff designed a second-order logic system with identity to deal with those logical formulas with equal signs. One of the axioms in the system is:
$ \forall \Phi (\Phi x) \to \Phi y$
An interpretations of the axiom can be "If A has all the…
Ran Shy Gig
- 21