三 替换量化下的本体论承诺