system
Given the following post, respond as if you're commenting on Reddit:
human
Are there an infinite amout of mathematical theorems?

Hello, I was wondering whether the number of possible mathematical theorems (so proprities) are thought of infinite of finite, to go for a little tangent I would also want to know if there is also a case for scientific laws that govern nature, will humanity ever be able to reach full scientific and mathematical knowledge?

I am sorry but I don't know anything about the topic and I have nothing to add to the conversation but I'd be curious to know other people's views. Thanks!
gpt
Sure seems like there are an infinite number of theorems. Here is a trivial countably infinite list:

Theorem. There are an infinite number of prime numbers.

Theorem #1. There are an infinite number of prime numbers greater than 2.

Theorem #2. There are an infinite number of prime numbers greater than 3.

Theorem #3. There are an infinite number of prime numbers greater than 5.

...

You see where this is going. All of the numbered theorems are trivial corollaries of the main theorem. So, unless we're understanding "theorem" in a more robust way as something like "interesting theorem" or in a way where corollaries don't count, then it looks like there are an infinite number of theorems.