Benutzerbeiträge von „93.245.225.232“
Für 93.245.225.232 Diskussion Sperr-Logbuch Logbücher Bearbeitungsfilter-Logbuch
10. November 2010
- 17:4217:42, 10. Nov. 2010 Unterschied Versionen +10 Diskussion:Gödelnummer →m Element von M?
- 17:4217:42, 10. Nov. 2010 Unterschied Versionen +463 Diskussion:Gödelnummer →m Element von M?
- 17:3917:39, 10. Nov. 2010 Unterschied Versionen +17 Gödelnummer →Formale Definition: Ich habe » für alle m aus M« hinzugefügt. m war vorher irgendwas undefiniertes.