Before revision: The English translation of the title of Szábo's article is "'Deiknymi' as a mathematical expression for 'to prove'", as translated by András Máté , p.285 where the emphasis was on the conceptual, rather than on the experimental part of a thought experiment.
After revision: The English translation of the title of Szábo's article is "'Deiknymi' as a mathematical expression for 'to prove'", as translated by András Máté where the emphasis was on the conceptual, rather than on the experimental part of a thought experiment.