康奈尔笔记法
康奈尔笔记法（），又名5R笔记法，是康奈尔大学教育学教授于1940年代提出的一种笔记方法。他在畅销书《如何在大学学习》（）中提倡这种方法。
新基础集合论
通过约定，NF的概括模式使用层化公式的概念來陈述，而不直接提及类型。一个公式formula_8被称为是层化的，如果存在从语法片段到自然数的一个函数"f"，使得对于任何formula_8的原子子公式formula_10有"f"("y") = "f"("x") + 1；而对于任何formula_8的原子子公式formula_12，有"f"("x") = "f"("y")。概括接着变成：