关于有限皮亚诺算术（FPA）的入门参考资料及归纳公理与鸽巢原理关系的技术咨询

我最近看了Woodin的一场讲座（只关注前20分钟内容），里面提到了几个有意思的观点，想找更多相关解释：

• 在讲座6分08秒左右，Woodin梳理了有限皮亚诺算术（FPA）的公理体系，还对比了归纳公理和鸽巢原理，提到目前不确定二者是否等价，甚至归纳公理可能弱于鸽巢原理。

我的问题是：有没有介绍FPA的入门教材，或者能解释归纳公理与鸽巢原理相关论述的参考资料？

我试着用“有限数论公理FPA”这类关键词搜索，没找到太多合适的结果。

备注：内容来源于stack exchange，提问作者D.R.