Lugha inayolengwa: Kituruki
Bu teoremin kanıtını aşağıda veriyoruz. Her ne kadar okur bu kanıtı tamamen kabul edilebilir bulsa da, kanıtın yine de bir açığı bulunmaktadır. Akla yatkın olmasına rağmen, şimdiye kadar aktardığımız aksiyomları takip etmeyen bir varsayımı kullanmaktadır. Bu sebeple ilave bir aksiyom ortaya koymamız gereklidir.
Diyelim ki A, W(a)'nın bazı sıra sayılarına izomorfik olduğu durumdaki a ∈ W'nin kümesi olsun. İki ayrı sıra sayısı izomorf olamayacağı için (biri diğerinin başlangıç kısmıdır),
Tafsiri-vipenzi
