Searching for links to KurtGoedel:
Axiom
Godel
ProofOfTheRiemannHypothesis
Theorem