Re: 2nd order replacement and non-standard models of ZF?

On Mar 2, 9:57 am, Aatu Koskensilta <aatu.koskensi...@xxxxxx> wrote:
Frederick Williams <frederick.willia...@xxxxxxxxx> writes:
I hope that this isn't a silly question but what _is_ second-order set
theory?

ZFC with replacement and separation in their second-order form instead
of as schemata.

But is there consensus as to what the logical axioms are?

MoeBlee

.