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 analyze. In particular the functioning of the human brain privileges concept naming and short formulations. This leads to organizing mathematical knowledge structurally. We consider briefly the problem of non-mathematical sciences.