← Feed @jac@types.pl Post #2179818 2026-05-01 20:15 UTC @markusde@mathstodon.xyz I believe the successor function is undefined everywhere and there are no numbers greater than 0. Replies (0) No replies.