  ZFC has sentences that quantify over all sets or all ordinals, without
restriction. Some have argued that sentences of this kind lack a determinate
meaning. We propose a set theory called TOPS, using Natural Deduction, that
avoids this problem by speaking only about particular sets.
