1️⃣∀🧍

#first-order logic #fol #quantification over individuals #logic levels #variable types #higher-order logic contrast #predicate calculus

{🔢🔡✅}

#data types #programming set #type system #data structures #variable types #code syntax #strongly typed