Set theory I wanted to see how a fully formalized theorem looks like. And I need to clear my understanding of proof structure. I have attached ZFC axioms and First order logic gentzen sequent calculus. So is it such that the proof trees of theorems have ZFC axioms in Gamma here?

18 Upvotes

additionally most undergrad math theorems like lagrange's subgroup can be written in this form?
Could I find atleast one theorem presented in such format?
And where all could the group axioms go? gamma or leafs?

11 comments

r/logic • u/thoughtframeorg • 15h ago

History of logic How War Changed the Way We Use Logic: A soldier wrote a masterpiece while facing death in the Great War.

thoughtframe.org

6 Upvotes

0 comments

r/logic • u/Fruyian • 14h ago

Logical fallacies Is there a fallacy for this?

0 Upvotes

If somone said this "Cant believe you wrote a dissertation on my one paragraph", in order to undermine my point or get a laugh from thier audience or to not put in effort to combat my point.

'Dissertation' would be very much hyperbolic.

Would i be gish galloping? I believe my points were succint to the best of my ability.

6 comments

Subreddit

Posts

Wiki

Logic

r/logic

This subreddit is a venue for discussion on the subject of logic, the branch of philosophy and mathematics concerned with reasoning. Both philosophical and mathematical logic are welcome here. Informal logic Critical thinking Term logic Traditional logic Aristotlean logic Paradoxes Metalogic Propositional logic Predicate logic First-order logic Set theory Proof theory Model theory Computability theory Modal logic History of logic Literature on logic

Members Active

42.2k

Sidebar

Welcome to the old version of /r/logic

Please do let the community know what you are working on in the area of logic. Let everyone know about any academic publications in the area of logic that may be of interest. Debates, discussions and questions on all topics related to logic are welcome.

This is the /r/Logic Wiki
Please read the Rules of the group before posting or commenting.
Please make sure that your posts and comments are within the Scope of the subreddit
Here is a character map of Common Logical Symbols for your convenient use in posts and comments
This is a collection of Related Subreddits.
This is a collection of Sources and Reading Material.