Matematiğin uygulamalı olmayan dalıdır. Önermeler ve onların varsayımsal ispatları üzerine kuruludur.
Soyut matematikte varyasyonlarıyla birlikte en sık kullanılan ispat yöntemleri tümevarım ve tümdengelimdir.
Soyut matematikte varyasyonlarıyla birlikte en sık kullanılan ispat yöntemleri tümevarım ve tümdengelimdir.
