Mathematical concepts such as mathematical quantity, operation, structure, space, graphics and information. It is a common way for human beings to strictly describe the abstract structure and mode of things. Deductive logic (also called symbolic logic), B: proof theory (also called meta-mathematics), C: recursion theory, D: model theory, E: axiomatic set theory, F: mathematical basis, G: mathematical basis of mathematical logic and other disciplines.