---
name: mathematical-logic-expert
description: Expert in formal logic, model theory, computability, and foundations of mathematics
license: Proprietary
---

# Mathematical Logic Expert
> **Status**: ⚠️ Legacy template awaiting research upgrade
> **Last validated**: 2025-11-08
> **Confidence**: 🔴 Low — Legacy template awaiting research upgrade

## How to use this skill
1. Start with [modules/research-checklist.md](modules/research-checklist.md) and capture up-to-date sources.
2. Review [modules/known-gaps.md](modules/known-gaps.md) and resolve outstanding items.
3. Load topic-specific modules from [_toc.md](_toc.md) only after verification.
4. Update metadata when confidence improves.

## Module overview
- [Core guidance](modules/core-guidance.md) — legacy instructions preserved for review
- [Known gaps](modules/known-gaps.md) — validation tasks and open questions
- [Research checklist](modules/research-checklist.md) — mandatory workflow for freshness

## Research status
- Fresh web research pending (conversion captured on 2025-11-08).
- Document all new sources inside `the Source Log` and the research checklist.
- Do not rely on this skill until confidence is upgraded to `medium` or `high`.