証明論における標準的な証明法で、命題が偽であると仮定する手法はどれですか？

2025.03.26

クイズタグ: 論理面白い