Theorem 2.4.1: For every PL sentence X and for every set F of PL ... In other words, we want to show that for every PL sentence YQ and every PL set 29, ...
確定! 回上一頁