Kleene, destacados lógicos estadounidenses, los consideran sinónimos.