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