论通常被形容为「深奥的」。因为很难得到「此结论是深奥」的共识，某些例子便常被引用来说明。其中一个为欧拉恆等式"e" + 1 = 0，它被费曼称为「数学内最着名的公式」。现代的例子则包含有建立起椭圆曲线与模形式之间关连性的谷山-志村定理（此结论使安德鲁·怀尔斯和罗伯特·郎兰兹得到了沃尔夫奖），和以弦理论接连了怪兽群与模函数的怪兽月光理论（理查·波杰蒂斯因此得到了菲尔兹奖）。和「深奥的」相对之为「当然的」。一个当然的定理，是个可以由一个已知结论，经明显或简单的方法导出的结论；或者是只应用在如空集合等特定