universe
Sign in to savein set theory, a set large enough such that most ordinary mathematical constructions can take place within it
In the Vinony graph
Vinony's link graph records 350 inbound references to universe, and connects out to semantic theory of truth, set theory and mathematical logic.
Vinony files it under Families of sets, Mathematical logic and Set theory.
Vinony links it to 21 Wikipedia language editions.
Connections
semantic theory of truth
Entity
set theory
Entity
mathematical logic
Entity
intersection
Entity
element
Entity
ordinal number
Entity
first-order logic
Entity
formal system
Entity
class
Entity
recursive set
Entity
Boolean algebra
Entity
semantics of logic
Entity
Per Martin-Löf
Entity
structure
Entity
construction of the real numbers
Entity
join and meet
Entity
ground expression
Entity
diagram
Entity
mathematics
Entity
logic
Entity