Editing Mathematical Logic (section)

== <span style="color: #FFFFFF;">Understanding</span> ==
Mathematical logic is built on '''Formal Systems'''.

'''1. Syntax vs. Semantics''':
* '''Syntax''': The "Grammar." These are the rules for which symbols are allowed and how they can be put together (e.g., "($P \land Q$)" is okay, but "$\land P Q ($" is not).
* '''Semantics''': The "Meaning." This is where we decide if a statement is "True" or "False" in a specific context.

'''2. Propositional vs. Predicate Logic''':
* '''Propositional''': Simple "Lego blocks" of truth. "If it's raining, the ground is wet."
* '''Predicate''': Higher-level logic. "For all humans, there exists a heart." This allows us to talk about groups and relationships.

'''3. Gödel's Incompleteness Theorems''':
This is the most famous finding in logic. Kurt Gödel proved that in any sufficiently powerful mathematical system (like basic arithmetic):
1. There will always be statements that are '''True''' but '''Unprovable'''.
2. The system cannot prove its own '''Consistency'''.
This means that math is not a "closed book"—there will always be mysteries that logic cannot solve.

'''Soundness''': A logical system is "Sound" if it only allows you to prove things that are actually true. It's like a machine that never makes a mistake.
</div>

<div style="background-color: #8B0000; color: #FFFFFF; padding: 20px; border-radius: 8px; margin-bottom: 15px;">