Short & silly superintelligence fic: "Axiom Chains" — LessWrong