Sekirov Dictionary

theory

UK /ˈθɪə.ɹi/US /ˈθɪ.ɹi/

noun8

  1. A set of axioms together with all statements derivable from them; or, a set of statements which are deductively closed. Equivalently, a formal language plus a set of axioms (from which can then be derived theorems). The statements may be required to all be bound (i.e., to have no free variables).
forms

theories

This dictionary works without the internet: on your phone · in Chrome