nLab weak limited principle of omniscience Context Foundations foundations The basis of it all mathematical logic deduction system , natural deduction , sequent calculus , lambda-calculus , judgment type theory , simple type theory , dependent type theory collection , object , type , term , set , element equality , judgmental equality , typal equality universe , size issues higher-order logic Set theory Foundational axioms Removing axioms Contents Definition The weak limited principle of...