A concept of a mathematical knowledge bank for scientific research. P. 1. A metaphor

Basis on an extendable internal model of mathematical practice and of a model for the analogy between proofs, a concept of a computer support system for scientific research in the field of mathematics and its mechanisms is offered. A system metaphor and the structure of an external model of mathematical practice are presented.