They are sound for Henkin semantics restricted to Henkin models satisfying the comprehension and choice axioms.
Είναι ήχος για Henkin σημασιολογία, αν είναι μόνο τα μοντέλα Henkin που ικανοποιούν την κατανόηση και αξιώματα επιλογής.