The theory of constructive Types : (Principies of logic and mathematics). Part II. Cardinal arithmetic - Chwistek, Leon (1884–1944) (1925)