（二）承运人的名称和主营业地；
Task: Implement a Gödel machine using either Metamath or Metamath Zero as the proof language. Provide a Nix flake which can create a new machine and either run a machine in the background or incrementally take one step at a time.
，详情可参考PDF资料
* @param {number} target 目的地位置（英里），推荐阅读新收录的资料获取更多信息
Екатерина Улитина (Редактор отдела «Забота о себе»)，更多细节参见新收录的资料