Urber dia vollständigkeit des logikkalküls | lit.salon