[bmacho]

> As it turns out, the claim that every vector space has a basis is equivalent to the axiom of choice, which seems well beyond the scope of the article.

> However, the particular vector space in question (functions from R to R) does have a basis, which the author describes.

No, there is no known constructible basis for R -> R functions.