## Does infinity cause incompleteness in formal systems? Is a finite formal system complete?

Like most, I’m having a hard time understanding the consequences of Gödel’s Incompleteness Theorems. In particular, I’d like to understand their connection to the concept of infinite mathematical structures. In doing so, I hope to formulate a better opinion on the merits of constructivism and finitism in regards to Gödel’s theorems. Without being philosophical, I … Read more