Terminal Object
Impredicativity
This is a meta-thread. I'm doing this in order to collect any threads I've made.You'll find threads about math, logic and their related memes here in the comments – in
Read more