The entire topic of un-knowability extends fundamentally to mathematics. Kurt Godel showed that any mathematical system is either incomplete and consistent, or complete and inconsistent. Which essentially means that if you think you have all mathematical systems sorted out, there is always one more theorem.
For anyone remotely interested
https://en.wikipedia.org/wiki/G%C3%B...eness_theorems