Μαθηματικά σύνολα, τύποι και θεωρία συνόλων με ιστορία και παραδείγματα