A proof is a repeatable experiment in persuasion.
词汇不仅仅是声音或符号,而是事实的标志。