In the following proofs we make use of Boolos' result that PFO can be embedded into monadic second order logic (MSO) and vice versa with the following one-one ...
確定! 回上一頁