nialogic: transcribed axioms of zf set theory