数学は1階の述語論理って聞いたけど