Listing 14 shows how the derivation should be done.
⇑ Translate the sentence above by Google ⇑
Related: derivation
Prev: It is a really cool derivation.
Next: The Russell paradox was by no means the only problem with the theory of sets, but it alone consumed a large part of Principia Mathematical, the weighty volumes which in 1910 set out their derivation of mathematics from primitive logic.