how can we define a [representation of first order arithmetic] with
gemoetric shapes?

Reply via email to