Вроде даже невозможность явно построить базис R над Q опирается лишь на существование аксиомы детерминированности, непротиворечивость теории множеств с которой не доказана.) Так что скорее всего на текущем уровне человеческого развития и построить явно нельзя, и доказать отсутствие построения нельзя.