与数学上最简单的情况相关或属于数学上最简单的情况。更一般地,"微不足道" 这个词用来描述任何几乎不需要努力就能推导或证明的结果。这个词起源于拉丁语 trivium,它是中世纪大学七门自由艺术中的低级学科(参见 quadrivium)。
根据诺贝尔奖得主物理学家理查德·费曼(Feynman 1997)的说法,数学家一旦获得证明,就将任何定理指定为 "微不足道" -- 无论最初证明该定理有多么困难。因此,只有两种类型的真数学命题:微不足道的命题和尚未被证明的命题。
微不足道定理的反义词是“深刻定理”。