Proof and knowledge in mathematics - DETLEFSEN,Michael (London & New York Routledge, 1992)