 In this situation it's not possible to apply Kreisel's argument for (5). In fact, the incompleteness of second-order calculi shows that, given any calculus \(C\) satisfying (4), one of the implications of (5) is false (or both are): either derivability in \(C\) is incomplete with respect to logical truth or model-theoretic validity is unsound with respect to logical truth.