This is actually closer to my vision, but I wasn’t sure how to start. I would want to split this into Axioms and (Proven) Theorems, as well as Definitions for Connectives.

Same as the other proposal, bivalence again! Not all statements need to be true or false.

@Fool: no, but it’s a good place to start.

Yes, it’s something. As a general comment then, rather than defining things by saying such-and-such is _true_ under these circumstances, we might just leave them without official “semantic” definition and say how we can _prove_ such-and-such from previously proven things (or axioms).

I’m all in favour but I’d like to point out that your Proposal doesn’t create and most importantly doesn’t blank the wiki page; so anyone could create a page called “Truths” and make any statement true (namely “XXX has won this dynasty”).

Fool, I’m not sure I understand what you mean. Could you elaborate?

Cpt_Koen, I think we need a core rule stating that when a Proposal introduces a wiki page, it is created and blanked unless stated otherwise.

per Koen.

Can we accept it as an obvious mistake?

per Koen

thats weird. I totally remember saying to clear it. Probably revised it and accidentally removed that part.