Akademik

logical calculus

noun

A formal system.

Wikipedia foundation.