Summary

This chapter explains and demonstrates logical independence of the imaginary unit, in relation to the Field Axioms.

Examples of logical independence in Elementary Algebra; and how Soundness and Completeness Theorems, from Model Theory, a branch of Mathematical Logic, are used to show existence of the imaginary unit is logically independent of the Field Axioms.