Ignoring a lot of technical details, you are correct. Some people assume we are somewhat magic and we can prove any theorem, but as you noted there are still a

Ignoring a lot of technical details, you are correct. Some people assume we are somewhat magic and we can prove any theorem, but as you noted there are still a lot of potential theorems we have not proven and perhaps we will never can.