Twitter Feed: Post

@withoutboats ("Saoirse Shipwreckt") wrote:

In intuitionistic logic, propositions can be true or false or a secret third thing.