The Number Systems by Solomon Feferman