Searching for links to KurtGoedel:
Axiom