13 Sep
2023
13 Sep
'23
11:02 p.m.
how can we define a [representation of first order arithmetic] with gemoetric shapes?