U. Mass./Amherst Mathematics & Statistics Department home page.

Discussion about abstract math appear at abstractmath.org. You may find helpful the section “Proofs” and especially the subsection “Forms of proof”.