ON THE LOGICAL ANALYSIS OF THE FOUNDATIONS OF VECTOR