流便人，迦得人给坛起名叫证坛，意思说：这坛在我们中间证明耶和华是神。
And the Reubenites and the Gadites gave the altar this name: a Witness Between Us that the LORD is God.
由于我们在进行不正式的证明，所以我不会为所使用的公理命名，也不会尝试去证明那些用来令证明有效的中间定理。
Since we are doing an informal proof, I will not name the axioms we are using nor will I attempt to prove the intermediate theorems used to make the proof work.
事实证明，GAE是面向消息中间件系统的一个很好的例子。
As it turns out, GAE is an excellent example of a message-oriented middleware system.
应用推荐