proof 可数吗RT