Frage zu Artikel "Tableau Systems for First Order Number Theory and.."