The claim conflates logical existence (via AC) with epistemological availability—a choice function n...
This proposition has not been edited since the history system was added.