Abstract
An abstract, generic textbook notion of a finitary proof and some of its basic properties are presented, using the Mizar system. A general form of Lindenbaum’s lemma is included.
Language: English
Page range: 213 - 222
Accepted on: Dec 24, 2024
Published on: Dec 31, 2024
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Related subjects:
© 2024 Taneli Huuskonen, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.