Notes on Cambridge Maths

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Axiom of Replacement

Class
The Axiom of Replacement is the axiom-scheme
asserting that the image of a set under a Function Class is a set.
As usual, we’ll have parameters:

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Graph View

Backlinks