Proof with errors

6/6/2025, 12:00:00 AM

Some example

6/6/2025, 12:00:00 AM

Example 3

6/6/2025, 12:00:00 AM

Example 4

6/6/2025, 12:00:00 AM

Another proof

6/6/2025, 12:00:00 AM

Chunky Example

6/6/2025, 12:00:00 AM

Deeply nested example

6/6/2025, 12:00:00 AM

predicate logic proof

6/6/2025, 12:00:00 AM

forall/exists duality 1

6/6/2025, 12:00:00 AM

forall/exists duality 2

6/6/2025, 12:00:00 AM

forall/exists duality 3

6/6/2025, 12:00:00 AM

forall/exists duality 4

6/6/2025, 12:00:00 AM

Drinker paradox

6/6/2025, 12:00:00 AM

k + 0 = 0 + k

6/6/2025, 12:00:00 AM

b + a = a + b

6/6/2025, 12:00:00 AM