First-Order

The term for contexts in which only objects of a theory may be abstracted.

This refers to first-order logic.

This page is linked from: Operating System