dodalem wymowe drugiego twierdzenia Rice'a