Delta 6/2019 Dowody „just-do-it” w zadaniach o przeliczalności Robert Crumplin matematyka teoria mnogości