informal proof的意思|示意
美 / inˈfɔ:məl pru:f /
英 / ɪnˈfɔrməl pruf /
[计] 非形式证明