HAq)[a]=>FB' q)[a]=>FBq)| : (a)]=>FB+q)(a. ... If we define A to be A-existentially closed for Tiff for any B, if B is a model of T and A-A B, ...
確定! 回上一頁