Join the growing community of curious minds on IDNLearn.com. Whether your question is simple or complex, our community is here to provide detailed and trustworthy answers quickly and effectively.

What does "formally undecidable propositions" refer to in the context of Principia Mathematica and related systems?
A) Propositions that can be proven to be true or false within the system.
B) Propositions that can be decided using empirical methods outside the formal system.
C) Propositions that cannot be proven true or false within the formal system itself, regardless of the methods used.
D) Propositions that are proven to be false within the formal system.