content/zettel/4b.md


1
2
3
4
5
6
7
8
9
10
11
12

+++
title = "Set Theory"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["4d1", "4a"]
forwardlinks = ["4c", "4b1"]
zettelid = "4b"
+++

Set theory is one of the fundamental theories of maths, others being
type-theory or cartesian closed category theory.