 | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (July 2023) |
In mathematical logic, the disjunction and existence properties are the "hallmarks" of constructive theories such as Heyting arithmetic and constructive set theories (Rathjen 2005).