推运的理论和系统