[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: fl <freder...@xxxxxxxxxxx>*Date*: Mon, 7 Apr 2014 09:39:23 -0700 (PDT)*References*: <0553e459-3621-4c93-be92-c01c74f902c2@googlegroups.com> <3278e2c2-d812-4b2f-857f-57e89b1daf41@googlegroups.com> <74376A8B-65EA-4EB1-B110-3AC2D3861406@gmail.com>

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.

--

FL

**References**:**Hilbert's epsilon and TLAPLUS***From:*fl

**Re: Hilbert's epsilon and TLAPLUS***From:*fl

**Re: [tlaplus] Re: Hilbert's epsilon and TLAPLUS***From:*Stephan Merz

- Prev by Date:
**Re: [tlaplus] Re: Hilbert's epsilon and TLAPLUS** - Next by Date:
**State contraint** - Previous by thread:
**Re: [tlaplus] Re: Hilbert's epsilon and TLAPLUS** - Next by thread:
**State contraint** - Index(es):