Eğer matematiksel ispatlar için resmi bir seviye listesi olsaydı, çelişkiyle ispat kolayca S-seviyesinde olur, değil mi?