Ապացույցների տեսություն - Այլ լեզուներ