Implizite Axiome by Dietrich Ritschl, Theo Sundermeier, Wolfgang Huber | Lex | Lex