Unterlogiker: ‘In logic, there are morals.’ Überlogiker: ‘Hail Gödelian immoralism!’
Arithmetisation of syntax is usually realised through Gödel-encoding with prime factorisation, but it’s more complicated within PA. Try to think of a way to express ‘the exponent of prime p in factorisation of n is k’ as a predicate with three variables (p,n,k) in PA’s language.
I will extend this kind of algebraic research to trap music and its microgenres no matter what. 😸
My li’l HoTT bih don’t e’en get ‘nuffa ∞-cats, I’m on’ih ahh in ℚ(ζ₅) ry’wih Goldman Sachs, These speds ain’ provin’ no Collatz, I’m havin’ey ass collapse, Mindless how he fail his algebra class, he not James Ax, He ain’ learn no Artin stacks, yeh, he jus’ a speh wi’no racks.
Zoom in close enough and you’ll spot the 0 bands and 0 hoes he’s been hiding. 🙀🙀🙀
I am a 30-year-old rapper from the streets of Atlanta and ts how I proved that p ∣ Fₚ − (5/p) for a rational prime p ≠ 2, 5.
Ain’ no CSB in IZF, it got LEM, He a speh, yeh, his arXiv paper made by a LLM, Étale topoi at 5 AM, homology hoes next, yeh, Now she compute Ext, yeh, Write ha DPhil wit LaTeX, yeh, Put’et bih on ℤ’s Spec, Forced’et ho off’et ℵ₅ trance, Brokies got Springer books financed.
I prove hella shi, I prove like Kurt, She prove π₃(S²) ≅ ℤ, I put that HoTTie in a skirt, Them Martin-Löf hoes tryna flirt, I ain’t intuitionistic, be alert, I take a Cohen real n’ force it hard, ZFC + V = L, got a coanalytic Hamel basis of ℝ, Polytime cut-eliminatin’ Girard.
Balenci’d up when I walk out wi’no field trace, yeh, I’m puttin’ all’ese spedded-up keeds rye’up in’ey place, heh. 😽😽😽
United States Trends
- 1. World Cup 229K posts
- 2. Paraguay 23.4K posts
- 3. FINALLY DID IT 426K posts
- 4. The Jupiter 96.9K posts
- 5. Croatia 18.6K posts
- 6. Brazil 65.6K posts
- 7. Argentina 195K posts
- 8. Portugal 84.3K posts
- 9. #USMNT 1,256 posts
- 10. Matt Campbell 9,921 posts
- 11. Infantino 59.6K posts
- 12. Group L 13.3K posts
- 13. Ghana 68.4K posts
- 14. Senegal 40.3K posts
- 15. Norway 28.5K posts
- 16. Wayne Gretzky 3,660 posts
- 17. Lauryn Hill 10.4K posts
- 18. Iowa State 8,410 posts
- 19. Warner Bros 217K posts
- 20. #Mundial2026 31.9K posts
Something went wrong.
Something went wrong.