Fundamental Theorem of Algebra without Using the Rationals -- A Kripke-Style Model for