Its purpose is to prove information law by logic, mathematics and translation. The method involves: the generalized bilingual logic established on both Aristotle 's formal logic and Frege' s mathematical logic, the linkage function established on both Turing's strong artificial intelligence using numbers and Searle's weak artificial intelligence using characters, the ontological knowledge established on both Saussure's general linguistics and Chomsky's formal linguistics. The result is that the basic law can be proved by digital and textual twin matrices. Its significance lies in that the global positioning system should be regarded as a special case of the generalized bilingual system.