NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547)
From MaRDI portal
scientific article; zbMATH DE number 7374087
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF |
scientific article; zbMATH DE number 7374087 |
Statements
NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (English)
0 references
22 July 2021
0 references
verification in set theory
0 references
natural deduction
0 references
proof analysis
0 references
reasoning with gaps
0 references
human-oriented theorem proving
0 references
0 references
