不完全という証明

2022.10.18