logisisme

(av logikk og -isme), det syn at aritmetikken (eventuelt også geometrien) kan reduseres til logikk. De klassiske forsvarerne av dette synet, som begge endte med å forkaste det, er Frege og Russell. Også de logiske positivistene mente at aritmetikken er en del av logikken. Gödels ufullstendighetsbevis (i On Formally Undecidable Propositions of Prinicipia Mathematica and Related Systems I, 1931) betraktes av mange som det endelige beviset for at det logisistiske programmet ikke kan realiseres.