Arnold Oberschelp (Recklinghausen, 1932 -) is a German mathematician and logic, who has been a professor of logic and science in Kiel since 1968.
Oberschelp studied mathematics and physics at the universities of Göttingen and Munster. In Munster he obtained his doctorate in mathematical logic. In 1958 he was a scientific assistant at the Mathematical Institute of Hanover University of Technology. In 1961 he graduated with a dissertation in mathematics. In 1968, he accepted an appointment as an ordinary professor in logic and science studies at the University of Kiel.
Arnold Oberschelp developed a general class logic, which allows for non-compliant arbitrary classes without assuming the usual collection lesionomas. Additional axioms lead to the Zermelo-Fraenkel collection theory, which in its classical representation is substantially more comfortable than the usual predicate logic view. Literature Externe link
wiki
