first-order theory

1. REDIRECT Theory (mathematical logic)#First-order theories

{{Redirect category shell|1=

{{R to related term}}

}}