none

31

Reputation

2 views

Unregistered User

Name	none
Member for	3 months
Seen	Jan 26 at 8:34
Website
Location
Age

stats recent reputation favorites

0

Questions

1

Answers

Provability in Second-Order Arithmetic without the Successor Axiom

0

Votes

3

Tags

ultrafinitism
peano-axioms
lo.logic

1

Badges