原名:Lecture 2 – Department of Mathematics – National University of
作品简介:如果 T 是二阶算术子系统，且 M,N |= T，则 M⊂N 如果且
仅当 M ⊂ N 且 XM ⊂ XN 时，其中。 M = 〈M,XM,+,×,0,1〉 且 N = 〈N,XN ,+,×,0,1〉
〉。……
资源下载
VIP免费升级VIP
原名:Lecture 2 – Department of Mathematics – National University of
作品简介:如果 T 是二阶算术子系统，且 M,N |= T，则 M⊂N 如果且
仅当 M ⊂ N 且 XM ⊂ XN 时，其中。 M = 〈M,XM,+,×,0,1〉 且 N = 〈N,XN ,+,×,0,1〉
〉。……
