Things Exist That Are Unknowable

The mathematically provable idea that something exists but is unknowable has clear philosophical and theological implications.