Backus-Naur metalanguage description added
Set theory part1 added