Mengaji karakteristik matematika, sistem dan struktur deduktif-aksiomatis, operasi logika, kuantor, penarikan kesimpulan, himpunan, relasi dan fungsi