Skip to content
aidb
f

formal system

Any well-defined system of abstract thought based on the model of mathematics

Entitytype of systemQ649732

Also known as logical calculus

Instance of