It is my understanding that the axiom of infinity, or axioms that depend on the axiom of infinity, are the only axioms that are not representable in finite First-Order Predicate Logic. Is this correct? If so, how can the axiom of infinity be justified? Furthermore, it is my understanding that the axiom of infinity requires infinite induction, which requires the axiom of infinity. How is this circular definition resolved? Is there a way for the axiom of infinity to be defined so that it does not require infinite induction?