formal system

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

en-US/ˈfɔɹməl ˈsɪstəm/
en-GB/ˈfɔːml ˈsɪstəm/

カテゴリ：

conceptual system