First order non-provability is a feature, not a bug: https://youtu.be/8S0Q1_3Gfbg?si=2uC19hDs1_Jajrkt
Please Login to reply.
No replies yet.
