Логические связи, основанные на полной, непротиворечивой, системе независимых аксиом, выраженные языком-математикой, образуют математическую модель объектов природы или продуктов работы человеческого разума, или его труда. Математическую модель отличает гарантия логической замкнутости следствий, возникающих на основе заложенной в её основу системы аксиом.