Even if we can proof/disproof any statement in Math (not possible due to halting problem), Human still need to decide which statement to be called "theorem".
The theorem thing is invented by human to help other people better understand Math structure in a easier way.
The theorem thing is invented by human to help other people better understand Math structure in a easier way.