In this lecture, we shall talk about Arithmetic from a Logical point view and introduce a related scheme of first-order axioms in the language of Arithmetic, called Open Induction (OI) and show how the problem of characterising the logical hierarchy of subsystems of OI, naturally leads to Galois Theory.