Collected papers on finitist mathematics and phenomenalism – second version