“Kripke Platek axioms”的概念、定义、翻译、参考文献-科学参考

单词	Kripke Platek axioms
释义	Kripke Platek axioms Mathematics ＞数理逻辑与数学基础＞递归论＞释义 Kripke-Platek axioms克里普克-普拉特克公理
随便看	Bataan Peninsula Batak Batak Plateau Bataks batalum getter Batang Xian Bata Shoe Museum Batatai Cemetery batch batch annealing batch arrival batch arrival; bulk arrival batch composition batch culture batch-distillation batch dyeing Batchelor Batcher comparator batch experiment batch fermentation batch file batching scale batch mapping mode for digital map batch normalization batch polymerization

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。