Skip to content

Anti foundation

Elisabeth.Stenholmrequested 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