EntityQ1433067· pop 20· linked from 225 articlesformalismSign in to saveview that statements of logic can be considered to be statements about the consequences of certain string manipulation rulesConnectionsKurt GödelEntityphilosophy of mathematicsEntitymathematicsEntitychessEntitylogicEntityBertrand RussellEntityarithmeticEntityInternational Standard Book NumberEntityDavid HilbertEntityintegerEntitypropagandaEntityset theoryEntitydialecticEntitytheoryEntityreasonEntityhypothesisEntityrhetoricEntitydigital object identifierEntityontologyEntitymathematical logicEntityCategoriesFormalism (deductive)Philosophy of mathematics