Add a little about natural deduction history and variations
Add a little about natural deduction history and variations

There are a lot of variations, which makes talking about a single
"natural deduction" tricky.  We don't need to go into the whole history,
but a hint that there *is* this variation will help warn the reader.

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