Pyramids (Discworld, #7)

by Terry Pratchett

There was a notice on the dune. It said, in several languages: AXIOM TESTING STATION. Below it, in slightly smaller writing, it added: CAUTION-UNRESOLVED POSTULATES.