மரபுவழி ஏரணம் , உய்த்துணர் ஏரணம் , நிகழ்தகவுநிலை ஏரணம்(மோடால் ஏரணம் ) ஆகியவற்றுக்கு இடையே உள்ள உறவுகளை தெளிவுபடுத்தி மெய்நாட்டுமைக் கருத்தியத்திற்கு ( proof theory ) ஏற்றம் தந்தார் .
Entity: ஏரணம் — Type: /art, /art/music