formal system

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

카테고리: