Universal Artificial Intelligence by Margus Hutter provides a full formal approximation of Solomonoff Induction