1. Formal systemA formal system is loosely speaking, any well defined system of abstract thought, on the model of mathematics. Technically, Euclid's elements, with a model consisting of 23 definitions and 10 postulates/axioms followed by 13 books of theorems with proof, is often held to be the first formal system and displays the characteristic of a formal system.
Read “Formal system” on English Wikipedia
Read “形式体系” on Japanese Wikipedia
Read “Formal system” on DBpedia
Read “Formal system” on English Wikipedia
Read “形式体系” on Japanese Wikipedia
Read “Formal system” on DBpedia
Discussions
Log in to talk about this word.