Step 3: By Godel’s incompleteness, there are some theorems in this formal system that cannot be proven.
No. That is not what Godel’s incompleteness theorem says.
No. That is not what Godel’s incompleteness theorem says.