Disambiguation | ||||
|
"Derivation" not synonymous with "proof" in mathematical logic
editThe two terms are not synonymous. A proof is a special case of a derivation. In a proof, the initial set of formulas contains only axioms (of a given axiomatic system). I am going to delete the following from the diambiguation page:
Disambiguation Fix
editThere is a wiki link in the 5th meaning to generator which links to a diambiguation page, I am not sure what article this page intends to link to. My best guess is that it should link to generating set of a group because the other uses are mostly regarding computer science and electrical generators. If someone can fix the link to the correct article (or remove the link) it would be very much appreciated. Thanks FlyHigh 09:19, 13 November 2006 (UTC)
🔥 Top keywords: Akademia e Shkencave e RPS te ShqiperiseAlexandria Ocasio-CortezBilderberg GroupCristiano RonaldoDong XiaowanMinecraftOperation GladioPrimal cutRiot FestStrictly Come Dancing (series 7)Main PageSpecial:SearchWikipedia:Featured picturesProject 2025Kalki 2898 AD.xxxUEFA Euro 2024Jannik SinnerEmma Raducanu2024 Copa AméricaCleopatraA Quiet Place: Day OneDeaths in 2024Sonay KartalOpinion polling for the 2024 United Kingdom general electionBeverly Hills Cop: Axel FMark CavendishMatteo Berrettini2024 United Kingdom general electionJoe BidenThe Acolyte (TV series)House of the DragonYouTubeJames RodrÃguezDespicable Me 4Grey Wolves (organization)Kamala HarrisThe Bear (TV series)Keir StarmerNikki HiltzBad Boys: Ride or DieList of highest-grossing Indian films2024 FIBA Men's Olympic Qualifying TournamentsIndependence Day (United States)Zac EfronInside Out 2Copa AméricaDonald TrumpThe Boys (TV series)