[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: TLA+ theory blog post series + new subreddit
> In a second-order logic
(or SOL), a variable can either represent an element of the universe or a set of elements
Said like that it's wrong. In FOL +ZFC a variable *can* represent a set.