教12岁的妹妹在Church计数中表示自然数前驱（pred） - 知乎