Lucenaposition
- Member for 2 years, 2 months
- Last seen more than a week ago
Stats
Communities
View all 
Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Visit Stack Exchange Stack Internal
Knowledge at work
Bring the best of human thought and AI automation together at your work.
Explore Stack InternalHi. I like maths and chess and Python programming. I am interested in whether certain statements provable in ZFC are provable in ZF.