Mathematics

Lucenaposition
3,141
reputation
2
11
33
  • Australia
  • Member since July 27 2023
  • 892 profile views
  • Last seen Dec 23 '25 at 02:40

Hi. I like maths and chess and Python programming. I am interested in whether certain statements provable in ZFC are provable in ZF.