On the consistency of NF via Fuzzy Forcing

Nicolás Sevilla Simón

In this paper, we present a proof of the consistency of the New Foundations set theory ($NF$). $NF$'s main idea is to permit very large sets (including the Univer…