@LogicPractice if the system can prove proving p implies p is true, then the system can prove p.
Finally, a daily capsule that speaks your hunger’s language.
@LogicPractice It is too hard, do you have a Nööb's axiom? (c)
@LogicPractice if the system can prove proving p implies p is true, then the system can prove p.
Finally, a daily capsule that speaks your hunger’s language.
@LogicPractice It is too hard, do you have a Nööb's axiom? (c)
