Zeroth-order logic

Zeroth-order logic is a concept in the realm of formal logic and mathematical logic that serves as a foundational or minimalistic framework for reasoning. It is often described as a system that lacks quantifiers, meaning it does not include the ability to express statements involving variables that can range over a domain of objects (as seen in first-order logic and higher).