0a explains: Set Theory and Axiomatic Systems (with pics and gifs)

functional