formal system

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

श्रेणियाँ: