Ontify
Set of disciplines concerned with formal systems, such as logic, mathematics, and game theory.