Explosion and Cut Required

[Joseph Vidal-Rosset]

Errata:

In my previous email claim 4 refer to 2 in the quotation.

The theorem of set theory of course is:

\(\{\} \subseteq C\) for every set C.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220606/e007e4e1/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: latexmjTBAY_6a5118d5ad66000ba59618bf9b0bcd5ecaaddf2b.png
Type: image/png
Size: 432 bytes
Desc: not available
URL: </pipermail/fom/attachments/20220606/e007e4e1/attachment-0001.png>