The Book of Foundational Mathematics

This is a new chapter.