数学本体论的建构来自于数学对数字的驱逐。公理化集合论系统成为这一进程的第一步。一神教之中范畴如何面向？这起源于范畴一词的词源学裂分(étymologie de bifurcation)，也即主体和主体间性构成的亚里士多德主义范畴和指涉关系及指向性构成的笛卡尔-拉康式的2-范畴[(infini,2)-categorie].赫尔曼柯恩等人认为范畴的两种样态和一神教从灵知主义中析出呈现一种隐微的对应关系，这也是律法和数学的关系。在犹太-基督传统中，启示录式神学习惯于把数学排除在外，而柯恩认为存在一种理性宗教的2-语言，使得言说穿过其中。控制这种穿过的就是力迫(forcage).。Zemelo-Fraenkel公理给力迫定义了强度，也即ontico-ontologie的一组基。