Source: wikibot/zeroth-order-logic
= Zeroth-order logic
{wiki=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).