Mulțimi și elemente de logică matematică