If ZF cannot construct an ordinal for the Absolute Infinite, this indicates ZF's expressive boundari...
This proposition has not been edited since the history system was added.