نظریه برهان - زبان‌های دیگر