数学归纳推理；实践得出公理，公理指导实践；映象、结构与理论