This is an old revision of the document!

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$

Discussion

Reference

Parents

Natural number range

Link to graph
Log In
Improvements of the human condition
limeGraphxioms