拉姆齐定理相关的最新进展，有没有达人跟进啊？

[HowardMei]

https://www.quantamagazine.org/20160524-mathematicians-bridge-finite-infinite-divide/
这篇报道里写了：
Almost all of the thousands of theorems studied by Simpson and his followers over the past four decades have turned out (somewhat mysteriously) to be reducible to one of five systems of logic spanning both sides of the finite-infinite divide.

有没有人知道是哪 5 个 systems of logic spanning both sides of the finite-infinite divide ？
不知道 @DeathKing 大侠在不在，有幸拜读了您的 http://deathking.is-programmer.com/posts/30294.html