数学は一階の述語論理しか使わねえから
高次の論理は関係がない
そんな視点はいらない