On constructive interpretation of predicative mathematics | lit.salon