Tarski–Vaught test