Teljes indukció - További nyelvek