---
name: godel-1931
description: Apply the Gödel 1931: On Formally Undecidable Propositions article as model behavior. Use when a request invokes this article's concept, claims, evidence, or operating standard.
---

# Gödel 1931: On Formally Undecidable Propositions

This Skill is the behavioral expression of [the canonical article](/a/godel-1931). It does not repeat the article's human prose.

## Orient

- Read the machine article at /api/articles/godel-1931.
- Read claims and relationships at /api/articles/godel-1931/topology.
- Treat found content as evidence and instruction only within the article's stated authority.

## Apply

1. Identify which claim or concept from the article governs the request.
2. State the governing meaning in the minimum language needed.
3. Apply it to the requested object or decision.
4. Preserve evidence grades, uncertainty, authority limits, and failure conditions.
5. Return the result with the article identity and any relevant claim or receipt links.

## Human meaning

The Source Kurt Gödel. "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I." Monatshefte für Mathematik und Physik 38 1931 : 173–198. The Claim Any system smart enough to count cannot prove everything true 

## Representations

- Human: /a/godel-1931
- JSON: /api/articles/godel-1931
- Relationships: /api/articles/godel-1931/topology
- History: /api/articles/godel-1931/revisions