kagidab

TypePostAuthorRepliesLast post
Open problemTermination of the sixth Goodstein Sequence mdevos515 years 2 weeks ago