Hi , I have recently gotten interested in intuitive logicsmathematics , and I am wondering , why doesn ' t it have a wider acceptance ? I understand why people like to use the law of excluded middle , but why isn ' t this view on what mathematics really are , or at least what questions it brings up , more widely acknowledged ? I recently read Saphiros book thinking about mathematics and it is briefly mentioned that Frege and Russell both agreed that mathematics , as we use it , is made by us humans , but from reading a lot of Russell I have never come across this explicitly , do you have any pointer to where they actually say this or have I misunderstood something ? Thanks ! Glad to see it is not only alreadydead people who are interested in these things !