{"id":"https://openalex.org/W7225321990","doi":"https://doi.org/10.5281/zenodo.23980574","title":"A Mathematical Resolution of the Burali-Forti Paradox: Establishing Infinity as Real yet Unidentifiable","display_name":"A Mathematical Resolution of the Burali-Forti Paradox: Establishing Infinity as Real yet Unidentifiable","publication_year":2026,"publication_date":"2026-11-05","ids":{"openalex":"https://openalex.org/W7225321990","doi":"https://doi.org/10.5281/zenodo.23980574"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23980574","doi":"https://doi.org/10.5281/zenodo.23980574","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23980574","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23980574","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5160459525","display_name":"Beethoven Calope Morales","orcid":"https://orcid.org/0009-0000-9703-1898","observed_orcids":["https://orcid.org/0009-0000-9703-1898"]},"institutions":[{"id":"https://openalex.org/I235850118","display_name":"Mindanao State University \u2013 General Santos","ror":"https://ror.org/053yhr419","country_code":"PH","type":"education","lineage":["https://openalex.org/I235850118"]}],"countries":["PH"],"is_corresponding":true,"raw_author_name":"Morales, Beethoven Calope","raw_affiliation_strings":["Mindanao State University-General Santos City"],"raw_orcid":"https://orcid.org/0009-0000-9703-1898","affiliations":[{"raw_affiliation_string":"Mindanao State University-General Santos City","institution_ids":["https://openalex.org/I235850118"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5160459525"],"corresponding_institution_ids":["https://openalex.org/I235850118"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.82669997215271,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.82669997215271,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.09769999980926514,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.02759999968111515,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/burali-forti-paradox","display_name":"Burali-Forti paradox","score":1.0},{"id":"https://openalex.org/keywords/ordinal-numbers","display_name":"ordinal numbers","score":0.9570000171661377},{"id":"https://openalex.org/keywords/transfinite-ordinals","display_name":"transfinite ordinals","score":0.8360000252723694},{"id":"https://openalex.org/keywords/infinite-sets","display_name":"infinite sets","score":0.367000013589859},{"id":"https://openalex.org/keywords/foundations-of-set-theory","display_name":"foundations of set theory","score":0.5879999995231628}],"concepts":[{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.85589998960495},{"id":"https://openalex.org/C147358099","wikidata":"https://www.wikidata.org/wiki/Q1069891","display_name":"Transfinite number","level":2,"score":0.8514999747276306},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6963000297546387},{"id":"https://openalex.org/C7321624","wikidata":"https://www.wikidata.org/wiki/Q205","display_name":"Infinity","level":2,"score":0.6488999724388123},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5788999795913696},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5730000138282776},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.5440999865531921},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.5016999840736389},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.49900001287460327},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4950999915599823},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.4555000066757202},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4154999852180481},{"id":"https://openalex.org/C164953516","wikidata":"https://www.wikidata.org/wiki/Q320357","display_name":"Closed set","level":2,"score":0.37689998745918274},{"id":"https://openalex.org/C71287196","wikidata":"https://www.wikidata.org/wiki/Q847204","display_name":"Limit of a sequence","level":3,"score":0.375900000333786},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.3571999967098236},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.3483999967575073},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34610000252723694},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.34360000491142273},{"id":"https://openalex.org/C196773441","wikidata":"https://www.wikidata.org/wiki/Q1475294","display_name":"Maximal element","level":3,"score":0.3416000008583069},{"id":"https://openalex.org/C2778408900","wikidata":"https://www.wikidata.org/wiki/Q1329258","display_name":"Cardinal number (linguistics)","level":2,"score":0.3377000093460083},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.32420000433921814},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.30570000410079956},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3034999966621399},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.30219998955726624},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.3009999990463257},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2976999878883362},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.28110000491142273},{"id":"https://openalex.org/C199879729","wikidata":"https://www.wikidata.org/wiki/Q205140","display_name":"Infinite set","level":3,"score":0.27790001034736633},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2615000009536743},{"id":"https://openalex.org/C96442724","wikidata":"https://www.wikidata.org/wiki/Q242188","display_name":"Invertible matrix","level":2,"score":0.2605000138282776},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2538999915122986},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.2538999915122986}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23980574","doi":"https://doi.org/10.5281/zenodo.23980574","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23980574","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23980575","doi":"https://doi.org/10.5281/zenodo.23980575","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23980575","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23980574","doi":"https://doi.org/10.5281/zenodo.23980574","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23980574","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4250726807","https://openalex.org/W2143162796","https://openalex.org/W3110294140","https://openalex.org/W4206620936","https://openalex.org/W7097126382","https://openalex.org/W850599559","https://openalex.org/W4239545280","https://openalex.org/W2972833331","https://openalex.org/W1544757976","https://openalex.org/W4231975827"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,20,86,105],"proof":[4,44],"demonstrating":[5],"the":[6,10,24,38,46,61,70,74,96,112,124,129,135,140,156,172,194,207],"infeasibility":[7],"of":[8,12,40,49,88,126,197],"extending":[9],"definition":[11],"ordinal":[13,34,72,99,210],"numbers":[14],"beyond":[15],"finite":[16,80,165,199],"ordinals,":[17],"thereby":[18],"offering":[19],"foundational":[21],"resolution":[22],"to":[23,94,116,123,147],"Burali-Forti":[25],"paradox.":[26],"Complementing":[27],"John":[28],"von":[29],"Neumann\u2019s":[30],"classical":[31],"formulation\u2014wherein":[32],"an":[33,176,186],"is":[35,66,76,167],"defined":[36,57,192],"as":[37,58,69,170,185,193,206],"set":[39],"all":[41,50,198],"preceding":[42],"ordinals\u2014this":[43],"evaluates":[45],"cumulative":[47],"domain":[48,87,196],"currently":[51],"existing":[52],"ordinals":[53,89,127],"at":[54,78,134],"stage":[55,166],",":[56,59,73,109,139],"against":[60],"maximal-anchor":[62],"condition:":[63],".":[64,150,211],"Because":[65,151],"uniquely":[67],"identified":[68],"-maximal":[71],"condition":[75,141],"satisfied":[77],"every":[79,144,164],"stage.":[81],"Under":[82],"this":[83,120],"complementary":[84],"formulation,":[85],"can":[90,189],"be":[91,160,191,203],"extensionally":[92,205],"closed":[93,204],"form":[95],"next":[97],"successor":[98,117,149],"if":[100,103],"and":[101],"only":[102,190],"identifies":[104],"unique":[106],"maximal":[107,154],"anchor":[108],"confirming":[110],"that":[111],"progression":[113],"remains":[114,182],"open":[115],"generation.":[118],"Applying":[119],"criterion":[121],"successively":[122],"sequence":[125],"yields":[128],"following":[130],"progression:":[131],"When":[132],"evaluated":[133],"infinite":[136,173,195],"limit":[137],"collection":[138],"fails":[142],"because":[143],"element":[145],"belongs":[146],"its":[148],"has":[152],"no":[153],"element,":[155],"required":[157],"witness":[158],"cannot":[159,202],"identified;":[161],"thus,":[162],"while":[163],"validated":[168],"inductively":[169],"non-terminal,":[171],"totality":[174],"reaches":[175],"unanchored":[177],"horizon":[178],"whose":[179],"terminal":[180],"boundary":[181],"formally":[183],"unidentifiable":[184],"ordinal.":[187],"Consequently,":[188],"ordinals;":[200],"it":[201],"first":[208],"transfinite":[209]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-11-06T00:00:00"}