Ordinal logic
கணிதத்தில், வரிசை தர்க்கம் என்பது முந்தைய தர்க்கங்களின் வரிசையில் கூறுகளை மீண்டும் மீண்டும் சேர்ப்பதன் மூலம் ஒரு வரிசை எண்ணுடன் தொடர்புடைய ஒரு தர்க்கம் ஆகும். கோடலின் முழுமையற்ற கோட்பாடுகளைக் கருத்தில் கொண்டு 1938 ஆம் ஆண்டில் ஆலன் டூரிங் பிரின்ஸ்டனில் தனது முனைவர் பட்ட ஆய்வறிக்கையில் இந்த கருத்தை அறிமுகப்படுத்தினார். ஒவ்வொரு தர்க்க அமைப்பும் ஒருவித முழுமையின்மையால் பாதிக்கப்படுவதாக கோடல் காட்டியபோது, டூரிங் ஒரு முறையில் கவனம் செலுத்தினார், இதனால் கொடுக்கப்பட்ட தர்க்க அமைப்பிலிருந்து ஒரு முழுமையான தர்க்க அமைப்பை உருவாக்க முடியும். செயல்முறையை மீண்டும் செய்வதன் மூலம் தர்க்கத்தின் ஒரு வரிசை எல் 1, எல் 2, பெறப்படுகிறது, ஒவ்வொன்றும் முந்தையதை விட முழுமையானது. ஒரு லாஜிக் எல் பின்னர் கட்டமைக்கப்படலாம், இதில் நிரூபிக்கக்கூடிய கோட்பாடுகள் எல் 1, எல் 2 போன்றவற்றின் உதவியுடன் நிரூபிக்கக்கூடிய கோட்பாடுகளின் மொத்தமாகும். இவ்வாறு எந்தவொரு ஆக்கபூர்வமான வரிசையுடனும் தர்க்கத்தை எவ்வாறு தொடர்புபடுத்தலாம் என்பதை டூரிங் காட்டினார். முறையான தர்க்கத்தின் கணித தர்க்க அமைப்புகள் வரிசை எண்கள்