First-order logic

Type of logical system

From Wikipedia, licensed CC BY-SA 4.0.