> ... handwaves away that .. These kind of handwaveing are quite common in math. For example, Axiom of Choice assume there exists a choice function. It does no

> ... handwaves away that .. These kind of handwaveing are quite common in math. For example, Axiom of Choice assume there exists a choice function. It does not specify how.