Hi 👋! My name is Aleksandr.

I'm an amateur mathematician from Moscow 🇷🇺.

My main interests lie in the foundations of mathematics and related things like set theory, formalized mathematics, philosophy of mathematics, etc. I also believe that the circle constant is 6.283…