If the proposition expressed by a formula were constituted entirely by its role within a formal system, no proposition could be true yet unprovable within that system—contradicting Gödel's result.

?Rate how convincing each reason is below to see the overall strength.

No one has weighed in yet. Be the first to share reasons for or against this statement.

Constituted(as describing how intersubjectivity is formed): In philosophy, this means 'made up of' or 'formed through'—describing how something comes into existence or takes shape through a process.
Formal system(as used in logic and mathematics): A set of rules and symbols (like mathematical axioms) that you use to prove whether statements are true or false, similar to how a chess game has specific rules that determine what moves are legal.
Gödel's result(as used in logic and mathematical philosophy): A groundbreaking discovery by logician Kurt Gödel proving that in any formal system powerful enough to do basic arithmetic, there are true statements that cannot be proven using that system's own rules.
Kurt Gödel(the mathematician who disproved Hilbert): An Austrian-American logician (1906-1978) who proved shocking theorems showing that any complex formal system has true statements that cannot be proven using the system's own rules.

Based on where you are in your exploration