Searching for links to KurtGoedel:

• Axiom
• Godel
• ProofOfTheRiemannHypothesis
• Theorem