Absolute identity seems at first sight to be presupposed in the branch of formal logic called identity theory. Classical identity theory may be obtained by adjoining a single schema to ordinary quantification theory.