Loading Discussion on question by Lorenzo Gil Badiola: Given that N is any natural number, do the Peano axioms model Nth order logics?
Just a second…
load older messages full transcript highlights

You must be logged in to talk. See the faq for more information.