x, y, z, t_0, t_1= symbols('x y z t_0 t_1', integer=True, positive=True, nonzero=True)

ここの t_0 と t_1 は意味が無いと思う