HDU - Metamathics

.. the properties of realities intrinsically unknowable by and from our own, but whose general principles can be hazarded at.-- Iain M Banks