Deductive system

1. REDIRECT Formal system#Deductive system

{{Rcatsh|

{{R from merge}}

{{R sec}}

}}