User:GrafZahl/Principia number mapping

The numbers in this table are now all in Principia Mathematica propositional logic (which also contains additional numbers). (well, axioms are at Interface:Principia Mathematica propositional logic). Kingdon 18:29, 18 February 2010 (UTC)
 * Yep.--GrafZahl (talk) 20:52, 18 February 2010 (UTC)

This page is kept for historical interest only!