menbut every department thought certain stage development laws abstracted real world become divorced real world set something independent laws coming outside world conform ref name engels see also applied mathematics logic metalogic metamathematics references external links https uwaterlooca pure mathematics pure math pure math ''what pure mathematics'' department pure mathematics university waterloo http wwwlivacuk maths pure wipmhtml '' pure mathematics'' professor p j giblin university liverpool http fair useorg bertrand russell principles mathematics ''the principles mathematics'' bertrand russell http hkmathphygooglepagescom puremathhtm become
Formal science Mathematics Pure mathematics