in logic: a proposition that is not susceptible of proof or disproof;

• 逻辑学中；不能证明或反证的命题；