Talk:Trakhtenbrot's theorem