Julia Robinson and Yuri Matiyasevich showed that every Diophantine set has dimension no greater than 13.
جولیا رابینسون و یوری ماتیاسویچ نشان دادند که هر مجموعه دیوفانتی یک بعد دارد که بیشتر از ۱۳ نیست.