1233 It is possible to imagine a world in which the axiom of reducibility is not valid.

• 1233可能设想一个世界，其中可归约性公理是无效的。