First Incompleteness Theorem: "Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e. there are statements of the language of F which can neither be proved nor disproved in F." (Raatikainen 2020)
I hate downvote culture. I think it’s worth downvoting if someone is saying something harmful or evil or bad faith. Apart from that, if I don’t really like the post, I just ignore it.
But if you start doing that, where will it end‽ You must be a bad person for doing this. No true Lemmy user would do it. Most people don't do this, it must be wrong. Has anyone asked what the admins think?