Математическая индукция это доказательство что функция ведёт себя так как надо, а в проге?
Как связывать бд с сервером?