Motivating topos logic In any systematic development of set theory one of the first topics to be examined is the so - called algebra of classes. This is concerned with ways of defining new sets