How to approximate the naive comprehension scheme inside of classical logic - Weydert, Emil (Mathematischen Institut der Universität Bonn, 1988)