Quantification theory

1. REDIRECT First-order logic

{{Redirect category shell|1=

{{R from alternative name}}

{{R printworthy}}

}}