Dalam pandangan formalis matematika adalah penelaahan struktur abstrak yang didefinisikan secara aksiomatis dengan menggunakan logika simbolik dan notasi matematikaDalam pandangan formalis, matematika adalah penelaahan struktur abstrak yang didefinisikan secara aksiomatis dengan menggunakan logika simbolik dan notasi matematika