n (mathematics) A proposition proved or accepted for immediate use in the proof of some other proposition.