塔斯基-沃特测试 在模型論中塔斯基沃特測試英文TarskiVaught test是用來判定一個子結構是否是基本子結構的定理有時亦稱塔斯基判準