https://filesoo.com/product/4538/a-constructive-interpretation-of-the-full-set-theory