# Time Dimension in Mathematical Logic

When I was learning Mathematical Logic, I got the idea to put the time dimension into it

Ture: When logic can be proved to be correct, and can’t be proved to be wrong

False: When logic can be proved to be wrong, and can’t be proved to be correct

Contract: When logic can be proved to be correct, and can’t be proved to be correct at the same time; Or logic can be proved to be wrong, and can’t be proved to be wrong at the same time;

Proving(time dimension): When logic needs more time to do the proof, in this condition, can’t prove the logic is right or wrong, but more time would be helpful, such as:

- All math problems not solved(can’t be proved right or can’t be proved wrong)
- Infinite and Infinitesimal, humans still got chances to understand how to axiom it better
- All non-math problems not solved