 Lorenz presented for the first time a simple demonstration of Gentzen's consistency proof on this game-theoretic basis.If one regards logic and mathematics in this way as a game, an intuitionist approach becomes a more plausible option.Not only logic, but the whole of philosophy is given a dialogical treatment by Lorenz.