תורת ההוכחות – שפות אחרות