This is an audio version of the Wikipedia Article:
[ Ссылка ]
00:00:45 1 The axioms of KP
00:03:42 2 Proof that Cartesian products exist
00:08:24 3 Admissible sets
00:08:57 4 See also
Listening is a more natural way of learning, when compared to reading. Written language only began at around 3200 BC, but spoken language has existed long ago.
Learning by listening is a great way to:
- increases imagination and understanding
- improves your listening skills
- improves your own spoken accent
- learn while on the move
- reduce eye strain
Now learn the vast amount of general knowledge available on Wikipedia through audio (audio article). You could even learn subconsciously by playing the audio while you are sleeping! If you are planning to listen a lot, you could try using a bone conduction headphone, or a standard speaker instead of an earphone.
Listen on Google Assistant through Extra Audio:
[ Ссылка ]
Other Wikipedia audio articles at:
[ Ссылка ]
Upload your own Wikipedia articles through:
[ Ссылка ]
"There is only one good, knowledge, and one evil, ignorance."
- Socrates
SUMMARY
=======
The Kripke–Platek axioms of set theory (KP), pronounced , are a system of axiomatic set theory developed by Saul Kripke and Richard Platek.
KP is considerably weaker than Zermelo–Fraenkel set theory (ZFC), and can be thought of as roughly the predicative part of ZFC. The consistency strength of KP with an axiom of infinity is given by the Bachmann–Howard ordinal. Unlike ZFC, KP does not include the power set axiom, and KP includes only limited forms of the axiom of separation and axiom of replacement from ZFC. These restrictions on the axioms of KP lead to close connections between KP, generalized recursion theory, and the theory of admissible ordinals.
![](https://i.ytimg.com/vi/ovzyWscRy84/mqdefault.jpg)