Matches in SemOpenAlex for { <https://semopenalex.org/work/W2382703118> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2382703118 abstract "Why can the truthfulness of general proposition be proved to be truth in limited process by using of the mathematical induction. That is, why can we to prove all objects in aggregation with some natures through proving one or some objects with these natures in aggregation . The reason is that the aggregation proved by induction must be the inductive aggregation that generated from the definition of induction at first ,it is one of the smallest inductive aggregation like natural number aggregation ,it is close. Namely :if primary elements with some natures in the aggregation, and a function can generate new elements with these natures constantly on the basis of the primary elements, other generative elements with such natures can be generated from the generative elements by using of a generative function. It can be concluded that all the elements in this aggregation possess the natures. The clothing of the inductive aggregation is the principle of mathematical induction. It is a implicative proposition that former proposition is true and latter proposition cannot be false. So inductive proof is deductive proposition through proving truthfulness of former proposition (two process of foundation and induction )to be proved that the later proposition (inductive proposition)is truth certainly." @default.
- W2382703118 created "2016-06-24" @default.
- W2382703118 creator A5062110276 @default.
- W2382703118 date "2004-01-01" @default.
- W2382703118 modified "2023-09-23" @default.
- W2382703118 title "The definition of induction and proving of induction in mathematical logic" @default.
- W2382703118 hasPublicationYear "2004" @default.
- W2382703118 type Work @default.
- W2382703118 sameAs 2382703118 @default.
- W2382703118 citedByCount "0" @default.
- W2382703118 crossrefType "journal-article" @default.
- W2382703118 hasAuthorship W2382703118A5062110276 @default.
- W2382703118 hasConcept C111472728 @default.
- W2382703118 hasConcept C138885662 @default.
- W2382703118 hasConcept C14036430 @default.
- W2382703118 hasConcept C144237770 @default.
- W2382703118 hasConcept C154945302 @default.
- W2382703118 hasConcept C199343813 @default.
- W2382703118 hasConcept C206743973 @default.
- W2382703118 hasConcept C21563000 @default.
- W2382703118 hasConcept C2524010 @default.
- W2382703118 hasConcept C2777152325 @default.
- W2382703118 hasConcept C2777686260 @default.
- W2382703118 hasConcept C2779382394 @default.
- W2382703118 hasConcept C33923547 @default.
- W2382703118 hasConcept C39890363 @default.
- W2382703118 hasConcept C41008148 @default.
- W2382703118 hasConcept C71924100 @default.
- W2382703118 hasConcept C78458016 @default.
- W2382703118 hasConcept C86803240 @default.
- W2382703118 hasConceptScore W2382703118C111472728 @default.
- W2382703118 hasConceptScore W2382703118C138885662 @default.
- W2382703118 hasConceptScore W2382703118C14036430 @default.
- W2382703118 hasConceptScore W2382703118C144237770 @default.
- W2382703118 hasConceptScore W2382703118C154945302 @default.
- W2382703118 hasConceptScore W2382703118C199343813 @default.
- W2382703118 hasConceptScore W2382703118C206743973 @default.
- W2382703118 hasConceptScore W2382703118C21563000 @default.
- W2382703118 hasConceptScore W2382703118C2524010 @default.
- W2382703118 hasConceptScore W2382703118C2777152325 @default.
- W2382703118 hasConceptScore W2382703118C2777686260 @default.
- W2382703118 hasConceptScore W2382703118C2779382394 @default.
- W2382703118 hasConceptScore W2382703118C33923547 @default.
- W2382703118 hasConceptScore W2382703118C39890363 @default.
- W2382703118 hasConceptScore W2382703118C41008148 @default.
- W2382703118 hasConceptScore W2382703118C71924100 @default.
- W2382703118 hasConceptScore W2382703118C78458016 @default.
- W2382703118 hasConceptScore W2382703118C86803240 @default.
- W2382703118 hasLocation W23827031181 @default.
- W2382703118 hasOpenAccess W2382703118 @default.
- W2382703118 hasPrimaryLocation W23827031181 @default.
- W2382703118 hasRelatedWork W147991170 @default.
- W2382703118 hasRelatedWork W160863120 @default.
- W2382703118 hasRelatedWork W1619921576 @default.
- W2382703118 hasRelatedWork W2035553573 @default.
- W2382703118 hasRelatedWork W2042154772 @default.
- W2382703118 hasRelatedWork W2045667039 @default.
- W2382703118 hasRelatedWork W2053222057 @default.
- W2382703118 hasRelatedWork W2115610240 @default.
- W2382703118 hasRelatedWork W2132141480 @default.
- W2382703118 hasRelatedWork W2155087643 @default.
- W2382703118 hasRelatedWork W2289625127 @default.
- W2382703118 hasRelatedWork W2345134390 @default.
- W2382703118 hasRelatedWork W2607056381 @default.
- W2382703118 hasRelatedWork W28918217 @default.
- W2382703118 hasRelatedWork W2920958132 @default.
- W2382703118 hasRelatedWork W2962902668 @default.
- W2382703118 hasRelatedWork W2978237951 @default.
- W2382703118 hasRelatedWork W3006735673 @default.
- W2382703118 hasRelatedWork W3038027104 @default.
- W2382703118 hasRelatedWork W947908859 @default.
- W2382703118 isParatext "false" @default.
- W2382703118 isRetracted "false" @default.
- W2382703118 magId "2382703118" @default.
- W2382703118 workType "article" @default.