Go to the original post:What determines the environment for $ZF(-1)?

Original post by