formal system

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

Danh mục: