Stærðfræðileg rökfræði - Önnur tungumál