Informasi yang berkaitan dengan vi/Lý thuyết tự kiểm chứng