axiomatic proof

  1. REDIRECT Axiomatic system