由于他还想验证，故而他无法认识二阶上升包含，所以更无法有绑定颅内驳回得到错误验回。所以数学讨论他又陷入无法自拔的推测无法知道他被二阶上升包含也无法知道二阶上升从而他还是被二阶上升给包含了。