« first day (65 days earlier)      last day (434 days later) » 

Secret
Secret
02:44
@SimplyBeautifulArt Since fundamental sequences are basically well ordered sets themselves with order type $\omega$, does it mean it is the same as the countable cartesian product of a sequence of ordinals in ascending order, i.e. a $\omega$-tuple?
Secret
Secret
02:57
...
ccs.neu.edu/home/pete/courses/Formal-methods/2008-Fall/lectures/…
Secret
Secret
03:15
→ 2 messages moved to trash
 
1 hour later…
Secret
Secret
04:16
→ 8 messages moved to trash
 
1 hour later…
Secret
Secret
05:34
→ 9 messages moved to trash
→ 1 message moved to trash
→ 1 message moved to trash
Secret
Secret
06:17
→ 1 message moved to trash
→ 1 message moved to trash
 
1 hour later…
Secret
Secret
07:30
→ 30 messages moved to Mathematical formulation of Quantum mechanics
 
5 hours later…
Simply Beautiful Art
Simply Beautiful Art
12:31
@Secret idk/probably
 
11 hours later…
Secret
Secret
23:49
$\hookrightarrow$
Summary with some corrections
Tier 0:
ZF Set theory; Type Theory
$0 = \varnothing; 0 : \text{Nat}$
Tier 1:
$\{\forall n : n^+ = n \cup \{n\}\}$ Base case=0;
$0 : \text{Nat}$
$\text{Succ : Nat $\to$ Nat}$
$\text{True, False : Bool}$

« first day (65 days earlier)      last day (434 days later) »