← Back to context Comment by grandempire 1 day ago It looks like you just have a few pages written. Is that right?Which theorem are you trying to prove? 2 comments grandempire Reply ndrwnaguib 1 day ago Yes; the goal is to finish the first volume. I am particularly looking forward to formalizing the well-known 1+1 proof. grandempire 1 day ago My understanding is the first bit follows first order logic fairly close but then diverges as Russel builds different classes of sets etc, do you have line of sight of how it’s going to translate?
ndrwnaguib 1 day ago Yes; the goal is to finish the first volume. I am particularly looking forward to formalizing the well-known 1+1 proof. grandempire 1 day ago My understanding is the first bit follows first order logic fairly close but then diverges as Russel builds different classes of sets etc, do you have line of sight of how it’s going to translate?
grandempire 1 day ago My understanding is the first bit follows first order logic fairly close but then diverges as Russel builds different classes of sets etc, do you have line of sight of how it’s going to translate?
Yes; the goal is to finish the first volume. I am particularly looking forward to formalizing the well-known 1+1 proof.
My understanding is the first bit follows first order logic fairly close but then diverges as Russel builds different classes of sets etc, do you have line of sight of how it’s going to translate?