edit.calstatela.eduedit.calstatela.edu/sites/default/files/groups/Department of...e.g., Zermelo-Fraenkel set theory (ZF). Sentences that are undecidable in this way give rise to open