formal system (Q649732)
any well-defined system of abstract thought based on the model of mathematics
Language: