primitive axiomatic language

讀音

漢語翻譯

【計】 原始公理語言