The nature of properly human mathematics

Abstract

We claim that human mathematics is only a limited part of the consequences of the chosen basic axioms. Properly human mathematics varies with time but appears to have universal features which we try to analyse. In particular, the functioning of the human brain privileges concept naming and short formulations. This leads to organising mathematical knowledge structurally. We consider briefly the problem of non-mathematical sciences.