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.
Copyright: Steve Faulkner 2020, 2021. All rights reserved.