which similarly asserts, “there is no value of x that satisfies the formula x B z”: in other words, the formula with f-number z is not provable.
確定! 回上一頁