proof system
proof system是什么意思、proof system怎么读
【计】 证明系统
proof system汉语翻译
【计】 证明系统