算散士の掲示板
一覧（新規投稿）｜ホーム｜ワード検索｜使い方｜携帯へURLを送る｜管理
排中律の証明 - 算散士
2016/02/03 (Wed) 15:00:12
Coqで証明したので、循環論法にはなってないと思います。