Talk:KPI

Kripke–Platek set theory
The last two points on this disambig page both relate to Kripke–Platek set theory. Are these two points different? They appear to duplicate each other. - BobKilcoyne (talk) 12:18, 18 November 2022 (UTC)