Аксиома — это утверждение, которое в рамках конкретной теории принимается истинным без всяких доказательств или обоснований . Это принятое положение, с которым нет никакого смысла спорить .
Теорема — это утверждение, для которого в рассматриваемой теории существует доказательство (иначе говоря, вывод) . Это предложение, истинность которого нуждается в доказательстве и устанавливается путём логических умозаключений .