axiomatization

1. REDIRECT Axiomatic system#Axiomatization and proof

{{Redirect category shell|1=

{{R to section}}

{{R from merge}}

}}