フォロー

排中律を認めないことと構成的証明を強制することとだいたい同じみたいな話があった気がする

ログインして会話に参加
Mastodon @ Poyo server

Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。