Informasi yang berkaitan dengan vi/Lý thuyết (logic toán)