Tatiga aliran, inggih punika formalisme, intuisionisme, miwah logika sané metu mangkin, asibaknyané pinaka penampen majeng kasengsayan sané ngangsan ngelinggahang yéning matematika sapunapi sewéntené, miwah analisisnyané dasos khusus, nenten manut standar sané majanten miwah katilik sané sampun kaambil anggén kasukserahang.