I'm not sure I understand what you are asking. One is a description of a *proced...

		lisper on Jan 23, 2023 \| parent \| context \| favorite \| on: An intutive counterexample to the axiom of choice I'm not sure I understand what you are asking. One is a description of a procedure and the other is a description of a number so obviously these are two different things.