ilmu pasti

pengetahuan mengenai ruang dan bilangan (seperti aljabar, ilmu ukur)