Հանրահաշվի հիմնական թեորեմ - Այլ լեզուներ