Q0（数学逻辑）

Q0（数学逻辑）Q0是彼得-安德鲁斯（PeterAndrews）对简单类型的羔羊皮微积分的表述，为数学提供了一个可与一阶逻辑加集合论相媲美的基础。它是高阶逻辑的一种...