Jump to content

True theory's reason = true theory

From logic wiki

Revision as of 07:54, 6 January 2025 by Answerer777 (talk | contribs) (Created page with "True theory's reason = true theory ⑴ True theory A, certificate from True theory B theory A = true => theory A helps to certificate theory B = true thumb ⑵ if we think theory A = true, theory A certificated from True theory α theory A = true <= theory α certificate theory A true")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

True theory's reason = true theory

⑴ True theory A, certificate from True theory B

   theory A = true => theory A helps to certificate theory B = true

⑵ if we think theory A = true, theory A certificated from True theory α

   theory A = true <= theory α certificate theory A true

Retrieved from "https://logic.skywiki.org/wiki/True_theory%27s_reason_%3D_true_theory?oldid=95"