Man könnte den Axiomen, sozusagen, ein spezielles Behauptungszeichen vorsetzen.