从“公理判定”走向“多维建构”