By means of the language of mathematical logic the invariance of Hamilton principle under canonical transformation is expressed and proved.

• 用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。