Set teorisi
Makalenin kısa özeti; farklı nesnelerin koleksiyonları olarak kümeler hakkında konuşur, matematikte birçok kullanımları olduğunu ve matematiğin set teorisinde kodlanabileceğini ve matematiğin çoğunu yapmak için yeterince küme teorisinin aksiyomatize edilebileceğini belirtir. Konunun aksiyomları veya amaçlanan yorumu ile tanımlanıp tanımlanmadığı konusunda tarafsız kalır. Antinomilerden bahsedilirse, aksiyomatizasyonun çözüm olduğunu iddia etmemeli, ancak bazılarının onları aksiyomatizasyon ile çözüldüğünü, diğerleri de kümülatif hiyerarşi ile değerlendirdiğini belirtmelidir.