of...e.g., Zermelo-Fraenkel set theory (ZF). Sentences that are undecidable in this way give rise to...
15
of...e.g., Zermelo-Fraenkel set theory (ZF). Sentences that are undecidable in this way give rise to open mathematical questions that cannot be answered by our axiomatic theories —
![Lifschitz Realizability for Intuitionistic Zermelo ...rathjen/Lifschitz.pdf · set theories). Rathjen [22] adapted realizability to the context of constructive Zermelo-Fraenkel set](https://img.dokumen.tips/doc/110x75/5f5538ed98402f3a506d9d41/lifschitz-realizability-for-intuitionistic-zermelo-rathjen-set-theories.jpg)
