To prove that ob Ho G F q we must prove that for every model X for ob and every k, there is k' > k such that X, k' Eq. Assuming that this is not the case, ...
確定！ 回上一頁
