User:Phill

I am particularly interested in the foundations of mathematics, especially set theories other than ZF, doubly so if they have a universal set. I make my living as a software developer.