in logic: a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident.

• 逻辑学中；不能证明或反证的命题；其真实性是不证自明的。