Mantık biliminde önermeler aksiyom ve teorem olarak ikiye ayrılır. Aksiyom, deney ya da gözlemle ispatlanmasına gerek duyulmayan önerme demektir. Orijinal dilinde theoreme şeklinde yazılan bu önermelerin ise bilimsel olarak kanıtlanması gerekir.11 Tem 2021