  This paper presents a novel possible worlds semantics, designed to elucidate
the underpinnings of ultrafinitism. By constructing a careful modification of
the well-known Kripke models for inuitionistic logic, we seek to extend our
comprehension of the ultra-finite mindset. As it turns out, the passage from
standard constructivist mathematics to the ultrafinite is in a sense an
operation of deconstruction of familiar mathematical entities, most notably
clear when it comes to N.
