Finite sets and infinite sets in weak intuitionistic arithmetic
scientific article; zbMATH DE number 7222136