Alle öffentlichen Logbücher

Dies ist die kombinierte Anzeige aller in Foxwiki geführten Logbücher. Die Ausgabe kann durch die Auswahl des Logbuchtyps, des Benutzers oder des Seitentitels eingeschränkt werden (Groß-/Kleinschreibung muss beachtet werden).

• 09:44, 29. Jul. 2024 Dirkwagner Diskussion Beiträge erstellte die Seite Diskussion:Axiom (Die Seite wurde neu angelegt: „ == Abgrenzungen == Innerhalb einer formalisierbaren Theorie ist eine These ein Satz, der bewiesen werden soll Ein Axiom dagegen ist ein Satz, der nicht in der Theorie bewiesen werden soll, sondern beweislos vorausgesetzt wird * Wenn die gewählten Axiome der Theorie ''logisch unabhängig'' sind, so kann keines von ihnen aus den anderen hergeleitet werden * Im Rahmen eines formalen Kalküls sind die Axiome dieses Kalküls immer Ableitung (Logik…“)