Talk:Vaught's test