The thematic direction was thus twofold: on the one hand, toward a systematic universe of logical laws, the theoretical totality of the truths destined to function as norms for all judgments which shall be capable of being objectively true and to this belongs, in addition to the old formal logic, also arithmetic, all of pure analytic mathematics,.e., the mathesis universalis of Leibniz, and in general everything that is purely a priori.