Find link

language:

Find link is a tool written by Edward Betts.

searching for Axiom schema of replacement 1 found (23 total)

alternate case: axiom schema of replacement

Zermelo's categoricity theorem (385 words) [view diff] exact match in snippet view article find links to article

z=f(w)))} , namely the second-order universal closure of the axiom schema of replacement.p. 289 Then every model of Z F C 2 {\displaystyle \mathrm {ZFC}