- Traditional Chinese Character(HanT):
正式理論
- Simplified Chinese Character(HanS):
正式理论
- Bopomofo(Mandarin Phonetic Symbols): ㄓㄥˋ ㄕˋ ㄌㄧˇ ㄌㄨㄣˋ (ㄓㄕㄌㄌ)
- Bopomofo(Zhuyin Keyboard Input/IME): 5/4g4xu3xjp4
- (ASCII) Hanyu Pinyin: "zhengshililun" "Zheng4Shi4Li3Lun4" "Zheng4 Shi4 Li3 Lun4" (ZSLL)
- (Latin) Hànyǔ Pīnyīn: ZhèngShìLǐLùn [ Zhèng Shì Lǐ Lùn ]
- (英文翻譯) English Translation: "formal theory"
- (西語翻譯) Traducción Español: "teoría formal"
- (日文翻譯) 日本語翻訳: "形式理論"