Theory (mathematical logic)

When defining theories for foundational purposes, additional care must be taken as normal set-theoretic language may not be appropriate.