[stianan]

It's a theorem that starts off with some assumptions, and gives you some implications. It does not say anything as general as "some things are unknowable in mathematics".