未收录

Church's theorem

检查一下拼写，或查原形（running → run）。