minus-squarens1@feddit.uktoNo Stupid Questions@lemmy.world•*Permanently Deleted*linkfedilinkEnglisharrow-up8arrow-down1·2 days agoThis post has a list of casual communities which might help: https://lemmy.world/post/2216085 linkfedilink
minus-squarens1@feddit.uktoNo Stupid Questions@lemmy.world•What does ZFC do that Peano arithmetic can't do?linkfedilinkEnglisharrow-up6·9 days agohttps://en.m.wikipedia.org/wiki/Goodstein's_theorem linkfedilink
This post has a list of casual communities which might help: https://lemmy.world/post/2216085