Aplicația este accesibilă de pe ecrane late

adevărat
fals
Contraexemplu este un exemplu care contrazice propoziţia.
Contraexempu este o teoremă.
Teorema poate fi demonstrată prin reducerea la asurd.
Demonstrarea teoremei prin contraexemplu și reducerea la absurd este aceeași.
O propoziţie matematică al cărei adevăr se demonstrează se numeşte axiomă.