Zf
adj, noun ·Rare ·Advanced level
Definitions
- 1 Initialism of Zermelo-Fraenkel (set theory): a particular axiomatic formulation of set theory without the axiom of choice. abbreviation, alt-of, initialism, uncountable
"Gödel's model is an example of a simple type of inner model that might be called a definable transitive inner model³), where the universe is replaced by a transitive subuniverse defined within ZF, the membership relation is just the original one restricted to the subuniverse, and where the axioms of ZF relativized to the subuniverse, are provable within ZF."
- 1 Initialism of zero forcing. abbreviation, alt-of, initialism, not-comparable
"In the case of the ZF detector, we suppress the interference among the transmit streams by multiplying the received signal vector y with the Moore-Penrose pseudo-inverse of the channel matrix […]"
Example
More examples"Gödel's model is an example of a simple type of inner model that might be called a definable transitive inner model³), where the universe is replaced by a transitive subuniverse defined within ZF, the membership relation is just the original one restricted to the subuniverse, and where the axioms of ZF relativized to the subuniverse, are provable within ZF."
Related phrases
More for "zf"
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.