Anti foundation
This merge request contains a proof of Aczel's anti-foundation axiom for the fixed point model.
Merge request reports
Activity
Filter activity
Please register or sign in to reply
This merge request contains a proof of Aczel's anti-foundation axiom for the fixed point model.