Mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy.

- Set-builder notationSet theory has set-builder notation. It can create any set that can be defined. This allows it to create Uncountable sets. Type theories are syntactic, which limits them to a countably infinite terms. Additionally, most type theories require computation to always halt and limit themselves to recursively generable terms. As a result, most type theories do not use the Real numbers but the Computable numbers.

- Type theory0 related topics

Alpha