Move 19.24 to classical logic section of iset.mm.
Move 19.24 to classical logic section of iset.mm.

This is a good one to have as an illustration of how classical
logic is not constructive. Since it isn't being used, it is easy
to move.

metamath/set.mm,metamath/set.mm,metamath/set.mm