eIMACS -- Set Theory course and/or Elements of Mathematics course

<p>Is anyone familiar with the Set Theory or Elements of Mathematics courses offered by eIMACS? From the eIMACS website:</p>

<p>"This course introduces students to the axiomatic set theory of John von Neumann, Paul Bernays and Kurt Godel ("NBG"). This theory has a central role in modern mathematics, providing the basic language in which most of mathematics is expressed. (Note: A small, select group of graduates of this class may be invited to take a sequence of extraordinarily advanced courses based upon the highly rigorous Elements of Mathematics curriculum.)"</p>

<p>A little background: My son is currently taking the eIMACS LM1 course which is a little on the easy side for him although he is learning a lot. He loves studying math and would like to participate in U of Chicago's Young Scholars Program on Saturdays and possibly next summer (depends if he gets into Hampshire Summer Studies). He also participates in math contests and summer math camps, reads math books and is working through AoPS.</p>

<p>I'd appreciate hearing anyone's feedback about the two courses. TIA.</p>