Sökresultat
Hoppa till navigering
Hoppa till sök
- Fixpunktssatsen används flitigt i [[metalogik|metalogiska]] resonemang, till exempel i konstruktionen av [[gödelsats]]er, ...453 byte (68 ord) - 15 augusti 2023 kl. 02.41
- [[Kategori:Metalogik]] ...1 kbyte (178 ord) - 14 mars 2025 kl. 12.03
- [[Kategori:Metalogik]] ...3 kbyte (493 ord) - 14 mars 2025 kl. 12.03
- '''Härledningsbegrepp''' är begrepp inom [[metalogik]] och [[bevisteori]], vilka används för att beskriva formlers inbördes rela ...4 kbyte (581 ord) - 2 december 2023 kl. 07.03
- [[Kategori:Metalogik]] ...5 kbyte (721 ord) - 14 mars 2025 kl. 12.02