પ્રથમ સ્તરના ખ્યાલો દલીલો તરીકે ઓબ્જેક્ટો સ્વીકારે છે, બીજા-સ્તરના ખ્યાલો આ વિધેયોને દલીલો તરીકે અને તેથી આગળ વધે છે.