Repository navigation

Prove PA-internalized ZF inconsistency equivalences some zf machines - #20

Open

mo271 wants to merge 4 commits into

mainfrom

pa-zf-internalization

Open

Prove PA-internalized ZF inconsistency equivalences some zf machines#20
mo271 wants to merge 4 commits into
mainfrom
pa-zf-internalization

Commits on Oct 25, 2026
- Add deeply embedded first-order Peano Arithmetic, adequacy, and completeness
  mo271
  committed
  1dbc719
- Prove PA-internalized ZF inconsistency equivalences for zf_393 and zf_380
  mo271
  committed
  f990ff6
Commits on Oct 26, 2026
- Merge branch 'main' into pa-foundation
  mo271
  authored
  034fb1e
Commits on Oct 27, 2026
- Merge branch 'pa-foundation' into pa-zf-internalization
  mo271
  committed
  1bdd353