借助一阶逻辑演算有条件地把超限递归原理从序数类推广到具有良基关系的类上。
Let's conditionally generalize principle of transfinite recursion from ordinal number class to class with well-founded relation.
陆波良思基(Lupolianski)先生,因创建出借医学设备的盛大慈善托拉斯,被国家誉为极端正统的领导人,于4月14日被捕。
Mr Lupolianski, an ultra-Orthodox leader honoured by the state for creating a now-huge philanthropic trust that lends medical equipment, was arrested on April 14th.
昨日,北京知名中介公司中大恒基的前董事长刘益良因寻衅滋事罪和敲诈勒索罪被海淀法院判处有期徒刑八年。
Yesterday, Liu Yiliang, former Board Chairman of Beijing Golden Keys Real Estate, was sentenced to 8 years for defiance and extortion by the People's Court of Haidian District, Beijing.
应用推荐