Chinese edit

For pronunciation and definitions of – see 形式科學 (“formal science”).
(This term is the simplified form of 形式科學).
Notes: