a Philosopher-King
𝔭 = "This statement is false." ‖ 𝟭. 𝔭 ↔ ¬𝔭 (def. 𝔭) ‖ 𝟮. 𝔭 ↔ ¬𝔭 → 𝔭 ∧ ¬𝔭 (equivalence to contradiction) ‖ 𝟯. 𝔭 ∧ ¬𝔭 (modus ponens 𝟭, 𝟮) ‖ 𝟰. ∃q(q ∧ ¬q) (existential generalization, 𝟯) ‖ ∴ 𝐓𝐑𝐔𝐓𝐇 𝐈𝐒 𝐃𝐈𝐀𝐋𝐄𝐓𝐇𝐄𝐈𝐂 ∎ 『𝜛𝜀 𝜆𝛼𝜈𝜀 𝛼𝜄𝜛𝛼𝜓𝑠 𝜄𝑖𝜈𝜀𝛿 𝑖𝜂 𝜏𝜆𝜀 𝑚𝛼𝑧𝜀.』
a Philosopher-King
𝔭 = "This statement is false." ‖ 𝟭. 𝔭 ↔ ¬𝔭 (def. 𝔭) ‖ 𝟮. 𝔭 ↔ ¬𝔭 → 𝔭 ∧ ¬𝔭 (equivalence to contradiction) ‖ 𝟯. 𝔭 ∧ ¬𝔭 (modus ponens 𝟭, 𝟮) ‖ 𝟰. ∃q(q ∧ ¬q) (existential generalization, 𝟯) ‖ ∴ 𝐓𝐑𝐔𝐓𝐇 𝐈𝐒 𝐃𝐈𝐀𝐋𝐄𝐓𝐇𝐄𝐈𝐂 ∎ 『𝜛𝜀 𝜆𝛼𝜈𝜀 𝛼𝜄𝜛𝛼𝜓𝑠 𝜄𝑖𝜈𝜀𝛿 𝑖𝜂 𝜏𝜆𝜀 𝑚𝛼𝑧𝜀.』
