安瑟伦认为，如果上帝是矛盾定义为是“作为大于其中没有任何东西可以设想，”然后以一个这样的土地之一，被否认的存在。

Anselm observed that if God is defined as "the being greater than whom nothing can be conceived," then to deny the existence of such a being lands one in a contradiction.

youdao

使用纯粹的抽象 C++ 显式接口类与真正的服务调用透明性是矛盾的，因为非 C++ 系统中的服务客户机需要备用的接口定义。

The use of pure abstract C++ explicit interface classes worked against true service invocation transparency, because service clients on non-C++ systems required alternative interface definitions.

youdao

这不矛盾，但是，想象一下，在这里旋度是没有定义的。

There's no contradiction. And somehow, you have to imagine that, well, the curl here is really not defined.

youdao