pecfex

@pecfex.bsky.social

21 Followers 13 Following

i like math and hate computers

A correspondence between an example theory with signatures (e, x, ', ∘) and peano arithmetic, showing the example theory is "isomorphic" to peano arithmetic.