的。但对初学者来说，可能一点也不显然。值得注意的是，平凡性也取决于语境。泛函分析中的证明可能会给出一个数，平凡地假设存在这样的大数。在初等数论中证明自然数的基本结论时，证明也许会与「每个自然数都有一个后继」息息相关，但此点需加以证明，或者将其作为一个公理。