After Quine, Arnold Oberschelp developed the first fully functional modern axiomatic class logic starting in 1974.
Von Quine ausgehend entwickelte Arnold Oberschelp ab 1974 die erste voll funktionsfähige moderne axiomatische Klassenlogik.