词典
例句
zh-CN
en
hide
简体中文
形式的
形式程序参数
形式程序测试
形式类
形式系统
形式系统算术化
形式结论
形式良好的结构程序
形式蕴涵
形式行
形式行标行
参考
谷歌
谷歌图片
百度
百度图片
百度百科
维基百科
维基词典
EN↔CN 海词
DE↔CN LEO
DE↔CN Langenscheidt
DE↔CN PONS
形式系统算术化
➞
形式系统算术化
[计] arithmetization of formal system
形式系统算术化
xíng shì xì tǒng suàn shù huà
ㄒㄧㄥˊ ㄕˋ ㄒㄧˋ ㄊㄨㄥˇ ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ
哈罗摩托-百万摩友的摩托车之家！
🎥 Insta360 One R 多镜头运动相机，德国包邮
zh-CN
简体中文
de
Deutsch
en
English
形式系统算术化