Takeuti–Feferman–Buchholz ordinal
செட் கோட்பாடு மற்றும் ஆதாரக் கோட்பாட்டின் கணிதத் துறைகளில், டேகுட்டி-ஃபெஃபெர்மன்-புச்சோல்ஸ் ஆர்டினல் (டி. எஃப். பி. ஓ) ஒரு பெரிய கணக்கிடக்கூடிய ஆர்டினல் ஆகும், இது புச்சோல்ஸின் சை செயல்பாடு மற்றும் ஃபெஃபெர்மனின் தீட்டா செயல்பாட்டின் வரம்பின் வரம்பாக செயல்படுகிறது. கைசி டேகுட்டி, சாலமன் ஃபெஃபெர்மன் மற்றும் வில்ஃபிரைட் புச்சோல்ஸ் ஆகியோரின் பெயரால் இது டேவிட் மடோரால் பெயரிடப்பட்டது. இது வில்ஃபிரைட் புச்சோல்ஸ் கண்டுபிடித்த ஒரு வரிசை சரிவு செயல்பாடான புச்சோல்ஸின் சை செயல்பாட்டைப் பயன்படுத்துவதாக எழுதப்பட்டுள்ளது, மேலும் ஃபெஃபெர்மனின் தீட்டா செயல்பாட்டில், சாலமன் ஃபெஃபெர்மனால் கண்டுபிடிக்கப்பட்ட ஒரு வரிசை சரிவு செயல்பாடு. இது பல முறையான கோட்பாடுகளின் ஆதார-கோட்பாட்டு வரிசைமுறையாகும்ஃ இரண்டாவது வரிசை எண்கணிதத்தின் துணை அமைப்பு-புரிதல் + வரம்பற்ற தூண்டல் IDω, ω-மடங்கு மறு செய்கை தூண்டல் வரையறைகளின் அமைப்பு மிகப்பெரிய எண்ணக்கூடிய வரிசைமுறைகள் மற்றும் தொடர்ச்சியான வரிசைமுறைகளில் ஒன்றாக இருந்தபோதிலும், இது ZFC இன் ஆதார-கோட்பாட்டு வரிசைமுறையை விட மிகவும் சிறியது. வரையறை கார்டினாலிட்டியுடன் கணக்கிட முடியாத மிகச்சிறிய ஆர்டினலைக் குறிக்கலாம். பத்தாவது நிலையான புள்ளிக்கு சமமான பத்தாவது எப்சிலான் எண்ணைக் குறிக்கலாம் புச்சோல்ஸின் சை செயல்பாட்டைக் குறிக்கலாம் குறிப்புகள் ஆதாரம் கோட்பாடு ஆர்டினல் எண்கள் செட் கோட்பாடு