Without any underlying axioms the whole construction is at risk. Yet there is nothing attractive about the prospect of slaving away to build something that will always remain buried beneath the surface.
