It is possible to imagine a world in which the axiom of reducibility is not valid.
可能设想一个世界，其中可归约性公理是无效的。
youdao
应用推荐
模块上移
模块下移
不移动