Wittgenstein and later Skolem's paradox show that formal transferability between models does not pre...