User blog comment:TheKing44/The analytical beaver functions/@comment-39605890-20190605124029

P進大好きbot Yes, arithmetic is much weaker (and therefore easier to work with) than full set theory. I wonder if there are any interesting languages in between the two extremes?