Informasi yang berkaitan dengan it/Teoria (logica matematica)