Note: crossposted from Mathoverflow version of this question . Problem statement. Principia Mathematica's Introduction & Chapter 1 covers the definition of elementary proposition and elementary ...