From a number theory “Collatz conjecture (3X+1)”, Human beings use a large amount of computer data, so far no counterexample has been found. Does mathematical logic support " Collatz conjecture (3X+1)?
Collatz conjecture (3X+1) There is a hidden theorem ω1 : If x holds, it must be (3X+1).
In reality, human beings will only (3X+1) deduce that x holds.
Example: an integer a, and a = 3b +1, b∈N. If b→3x +1 holds. There must be: a→3x +1 is established.
In this way, there is no need to deduce (3b + 1).