On the Completeness of Second-Order Theories with Infinity Axioms

The talk is devoted to defining of the notion of infinity axioms for the formal logic systems and go statement of the question: are there any second order theories that are complete? In addition it is shown that the main examples of first order ones become not such by their extension having applied the second order logic.