Authors: Colin James III
Comments: 2 Pages. © Copyright 2019 by Colin James III All rights reserved. Respond to author by email only: info@cec-services dot com. See updated abstract at ersatz-systems.com. (We warn troll Mikko at Disqus to read the article four times before hormonal typing.)
From the affine varieties of Zariski topology, we evaluate two definitions. Neither is tautologous. In fact, the two definitions are equivalents. This refutes the conjecture of affine varieties in Zariski topology. Therefore the affine varieties of Zariski topology are non tautologous fragments of the universal logic VŁ4. What follows is that the scheme theory of Grothendieck is non tautologous.