- この文は証明できない ← Gödel文
- この文は証明できる ← Henkin文
- この文は反証できる ← Jeroslow文
- この文は反証できない ← ?