proof by contradiction

Son güncellenme tarihi: 12 Nisan 2022

çelişkiye varma yoluyla tanıtlama, olamayana ergiyle tanıtlama