1,609 reputation
5 2

godelian

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