https://isa-afp.org/authors/hanikova/ AFP entries of Zuzana Haniková https://isa-afp.org/entries/ZF_finite.html Fri, 03 Jul 2026 00:00:00 +0000 Axiomatic theory of hereditarily finite sets and its fragments in the AFP Logic/Set theory