Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Second order logic with Henkin semantics is axiomatizable in first order logic, for example, using truth predicates and comprehension axioms for all arities. Is it possible to provide a finite axiomatization as well?
Required, but never shown
1 year, 9 months ago