[SLFM 016] Mathematical Interpretation of Formal Systems - Skolem