General principles of mathematics

Main identifier (DDC): 511