  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.
