There is a 1988 version of seven assumptions and 12 propositions, a 1998 version of seven assumptions and 32 propositions, and most recent the 2005 version of seven assumptions and 24 propositions.
Ada 1988 versi dari tujuh asumsi-asumsi dan 12 proposisi, 1998 versi dari tujuh asumsi-asumsi dan 32 proposisi, dan yang paling baru-baru 2005 versi dari tujuh asumsi-asumsi dan 24 proposisi.