الجملة الأولى: في عام 1933 نشر كارلمان إثباتًا قصيرًا لما يسمى الآن بنظرية دينجوي - كارلمان - ألفورس. الجملة الثانية: في عام 1933 ، نشر ألفورس إثباتًا قصيرًا لما يسمى الآن جملة " كارلمان ". السؤال: هل تعبر الجملة الأولى والجملة الثانية عن نفس المعنى؟ نعم أم لا؟