On the other hand an effect of these same formal developments in modern logic, curiously, has heen to show how to divorce mathemat ics other than elementary logic) from any peculiarly notational consid erations not equally relevant to natural science.