[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: Hilbert's epsilon and TLAPLUS
Yes, the theory underlying TLA+ is a variant of ZFC. In most presentations that I am aware of, it is written "Zermelo-Fraenkel set theory" (sometimes "... with choice"), avoiding the more technical abbreviations ZF and ZFC.
I would say that a perfectly accurate description would be "Zermelo-Fraenkel set theory with the transfinite axiom"
(since the axiom of choice is implied.)
Zermelo's picture by the way.