User:Pqnelson

I'm a mathematician, and write notes on math which are then posted on my notebook. Right now I am looking at the foundations of mathematics, specifically classical logic and NBG set theory with urelements...