Move 19.33b to classical logic section.
Move 19.33b to classical logic section.

Also, add comment pointing to 19.33b2 which is a variation which
is valid intuitionistically.

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