1,589 reputation
4 2

godelian

I'm a graduate student deeply interested in foundations (logic, set theory, model theory, metamathematics) and category theory.