proof 1. A finite sequence of well-formed formulas, F1, F2, ... Fn, where each Fi either is ... proof 防潮 來源(4): Taiwan MOE computer dictionary [moecomp]
確定! 回上一頁