kierunek w filozofii matematyki zakładający, że można oprzeć jej podstawy na bazie rachunku logicznego zdań.

formalizm matematyczny służący do opisu poprawności algorytmów.

system formalny używany do badania zagadnień związanych z podstawami matematyki jak rekurencja, definiowalność funkcji, obliczalność, podstawy matematyki np. definicja liczb naturalnych, wartości logicznych, itd.

dział filozofii, zajmujący się zagadniemi istnienia, sposobów i kryteriów istnienia i natury bytów matematycznych oraz zagadnieniami natury i granic poznania matematycznego.

dział filozofii, zajmujący się zagadniemi istnienia, sposobów i kryteriów istnienia i natury bytów matematycznych oraz zagadnieniami natury i granic poznania matematycznego.

pogląd filozoficzny w zakresie istnienia obiektów matematycznych; prąd blisko związany z finityzmem i innymi nurtami konstruktywizmu matematycznego, który powstał głównie w związku z pojawieniem się teorii mnogości i paradoksów ujawnionych w jej ramach, ogólnie obejmujący odpowiedzi na problemy wynikające z koncepcji nieskończoności i granicy w matematyce.

zespół twierdzeń i dogmatów filozoficznych.