Den Rest der 1940er Jahre verbrachte er damit, die algebraische Geometrie auf eine strenge algebraische Basis zu stellen, um seine Beweise abzusichern (Bücher „Foundations of algebraic geometry“ 1946 u. a.).