Matematikte biçimcilik nedir? Biçimcilik ya da formalizm, matematiksel gerçekliğin evrenselliğini yadsıyan, matematiğin bazı mantık kuralları çerçevesinde bir entelektüel uğraş olup, doğada gözlemlenemeyebileceğini savunan felsefi akım.
