Date: Feb 24, 2013 7:32 AM
Author: Zaljohar@gmail.com
Subject: A reformulation of MK-Foundation-Choice.

I've presented this reformulation to this Usenet.

Here is the proof that it proves all axioms of MK-foundation-Choice.

http://www.cs.nyu.edu/pipermail/fom/2013-February/017025.html

Zuhair