Finite sequence

Set

context $X$
definiendum $ A\in \text{FinSequence}(X) $
range $ n\in \mathbb N $
postulate $\exists n.\ A: \mathrm{range}(n)\to X$

Reference

Natural number range

Link to graph
Log In
Improvements of the human condition
limeGraphxioms