proof system的意思|示意
美 / pru:f ˈsistəm /
英 / pruf ˈsɪstəm /
[计] 证明系统