凭证是有一定证明权利、义务、事实等的效用的物件，一般为文件、文献。票券、证书是最为常见的凭证。由公共机构或公务员职务上的正式编制的文书档案称为正式文件,其中，由公职人员根据其权限编制的证书在广义上也称为公正文件。
定理是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。一个定理陈述一个给定类的所有元素一种不变的关系，这些元素可以是无穷多，它们在任何时刻都无区别地成立，而没有一个例外。。
数学中的猜想是在根据不完全资讯下的后件及命题，是不知其真假的数学叙述，它可能为真，暂时未被证明或反证 。某些猜想会称为“假设”，尤其是当它是针对某些问题提出的答案。
葛立恒数由美国数学家葛立恒提出，曾经被视为在正式数学证明中出现过最大的数，后来则被TREE取代。它大得连高德纳箭号表示法也难以简单表示，而必须使用64层高德纳箭号表示法才表示得出来。马丁·加德纳于1977年11月在美国科学人的“数学游戏”专栏将此数刊登出来，1980年被吉尼斯世界纪录订为在正式数学证明中出现过最大的数。
金融机构是指从事金融服务业有关的金融中介机构，为金融体系的一部分，金融服务业包括银行、证券、保险、信托公司、基金等行业，与此相应，金融中介机构也包括银行、证券公司、保险公司、信托投资公司和基金管理公司等。
同时亦指有关放贷的机构，发放货款给客户在财务上进行周转的公司，而且他们的利息相对也较银行为高，但较方便客户借贷，因为不需繁复的文件进行证明。
定理是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。一个定理陈述一个给定类的所有元素一种不变的关系，这些元素可以是无穷多，它们在任何时刻都无区别地成立，而没有一个例外。。
可实现性是可用来处理关于公式的信息而不是关于公式的证明的那部分证明论。自然数n被称为实现了自然数算术的语言中一个陈述。其他逻辑和数学陈述也是可实现的，假如提供了解释合式公式一种方法，而不用借助达成这些公式的证明。
战利品，是相对于一些成就的回报或纪念，通常事后拿到，以作为成功的证明，通常在体育运动及竞赛运动中出现。古今猎人把动物或生物杀死后留有兽皮或兽头，也是战利品的一种。现多喻指参加某种活动后所获得的物品.
证明商标也称保证商标，指由对商品或服务具有检测和监督能力组织所控制，而由其以外的人使用在商品或服务上，用以证明该商品或服务的原产地、原料、制造方法、质量、精确度或其他特定品质的商品商标或服务商标。证明商标是证明与保证该商标的商品或服务具备特定品质。
奇葩证明指中国公务机关或银行办理民生业务时无理要求民众出具的证明，包括：证明我妈是我妈、证明没买过房、没结婚、没孩子、去银行换残币被要求开“非故意烧毁钱币”证明、异地领中国社保要求开一份证明自己还活着的健在证明等。
Mini wiki
8
