Mathematical Gnostics