The simple consistency of naive set theory using metavaluations
scientific article; zbMATH DE number 6381500
scientific article