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