Goodsteinova věta – Další jazyky