An axiomatic analysis of the papal conclave
通过历史文献和公理化分析，研究教皇选举中保护选举人免受不诚实提名诱惑的原则，建议恢复格里高利十五世的投票程序并考虑随机化打破僵局。
In the Roman Catholic Church, the pope is elected by the (cardinal) electors through “scrutiny,” where each elector casts an anonymous nomination. Using historical documents, we argue that a guiding principle for the church has been the protection of electors from the temptation to defy God through dishonest nomination. Based on axiomatic analysis involving this principle, we recommend that the church overturn the changes of Pope Pius XII to reinstate the scrutiny of Pope Gregory XV, and argue that randomization in the case of deadlock merits consideration.