Teorem nedir felsefe? Matematik felsefesi ise dilin ve mantığın tanıtlardaki rolü ve "dil olarak matematik" ile ilgilidir. Kişinin formalizme olan yaklaşımından bağımsız olarak, doğru olduğu tanıtlanan sonuca teorem denir.