Skip to content

Anti foundation

Elisabeth.Bonnevier requested to merge anti-foundation into master

This merge request contains a proof of Aczel's anti-foundation axiom for the fixed point model.

Merge request reports