▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Collection of sets
▾ Set union
▾ Successor set
▾ Inductive set
▾ Set of inductive sets
▾ Set of natural numbers
Set of Fibonacci numbers
Formulation 0
Let $F : \mathbb{N} \to \mathbb{N}$ be the D4594: Fibonacci natural number sequence.
The set of Fibonacci numbers is the D11: Set \begin{equation} F(\mathbb{N}) = \{ F(n) \mid n \in \mathbb{N} \} \end{equation}