1
$\begingroup$

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?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.