1 文中使用向前向后方法，对有限语言下一阶逻辑的内插定理和保持定理等几个定理，给出一种简洁的证明。2 不好!这事我插定了,你想怎么样就来吧。3 令左右接过画戟,去辕门外远远插定。4 他的诗，如同几何