ఈ వాక్యం యొక్క మరింత సంక్లిష్టమైన సంస్కరణను రూపొందించండి రకం సిద్ధాంతం ప్రతిపాదనలు మరియు రకాలను గుర్తించడంపై ఆధారపడి ఉంటుంది: ఒక ప్రతిపాదన దాని రుజువుల రకంతో గుర్తించబడుతుంది.
వాస్తవానికి, వాక్యం యొక్క మరింత సంక్లిష్టమైన సంస్కరణ "టైప్ థియరీ ప్రతిపాదనలు మరియు రకాలను గుర్తించడంపై ఆధారపడి ఉంటుంది: ఒక ప్రతిపాదన దాని రుజువుల రకంతో గుర్తించబడుతుంది, ఈ గుర్తింపును సాధారణంగా కర్రీ హౌర్డ్ ఐసోమోర్ఫిజం అని పిలుస్తారు, ఇది మొదట ప్రతిపాదన లాజిక్ కోసం రూపొందించబడింది మరియు కేవలం లాంబ్డా కాలిక్యులస్ టైప్ చేయబడింది. "