This work formulates existence, uniqueness, and uniqueness-implies-existence theorems for solutions to two-point vector boundary value problems on time scales. The methods used include maximum principles, a priori bounds on solutions, and the nonlinear alternative of Leray-Schauder.