Logika i teoria mnogości