| CARVIEW |
Select Language
HTTP/2 200
date: Wed, 30 Jul 2025 11:08:26 GMT
content-type: text/html; charset=utf-8
cf-ray: 967465ea7dbea9b7-BLR
cf-cache-status: DYNAMIC
cache-control: private
set-cookie: prov=520abc2e-2a38-4d98-b78c-6af54f6a3f98; expires=Thu, 30 Jul 2026 11:08:26 GMT; domain=.stackexchange.com; path=/; secure; httponly
strict-transport-security: max-age=31536000; includeSubDomains
vary: Accept-Encoding
content-security-policy: upgrade-insecure-requests; frame-ancestors 'self' https://stackexchange.com
x-clacks-overhead: GNU Terry Pratchett
x-frame-options: SAMEORIGIN
x-request-guid: aabed1cb-e668-4a2f-96ee-020baa8c0faf
x-worker-origin-response-time: 293000000
x-dns-prefetch-control: off
set-cookie: prov=520abc2e-2a38-4d98-b78c-6af54f6a3f98; Path=/; HttpOnly; Domain=stackexchange.com
set-cookie: __cf_bm=81Igvl0OJV4n9KHJ4DuLqhFHPg2zlgo8XyNsoiMoQ.M-1753873706-1.0.1.1-BGYx86qy6U1AA6FOe1A9GagjGLaF8_2Rmp7pIQ5g716Ly9sYKF8tYjvZvrAhVhuqRIZMd23D0m_JLyeFSRQ6RiBr82Uwq.37DzwDFeP2XgQ; path=/; expires=Wed, 30-Jul-25 11:38:26 GMT; domain=.stackexchange.com; HttpOnly; Secure; SameSite=None
set-cookie: _cfuvid=rDHAI3Bz_bvm3EE3l1DVAUObWIdcUAPVWFjiHP26fCs-1753873706982-0.0.1.1-604800000; path=/; domain=.stackexchange.com; HttpOnly; Secure; SameSite=None
server: cloudflare
content-encoding: gzip
User Lucenaposition - Code Golf Stack Exchange
Skip to main content
Stack Exchange Network
Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Visit Stack Exchange
The 2025 Developer Survey results are in. Explore insights into technology and tools, careers, community and more.
View results.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Learn more about Teams
Lucenaposition
-
Member for 1 year, 10 months
-
Last seen this week
Stats
2,040
reputation
20k
reached
78
answers
3
questions
Loading…
About
Hi. I like maths and chess and Python programming. I am interested in whether certain statements provable in ZFC are provable in ZF.
Badges
View all badges
1
gold badge
-
ElectorateJul 18
2
silver badges
-
Civic DutyMay 6
-
YearlingSep 23
25
bronze badges
-
Vox PopuliMay 15
-
ExplainerJul 19
-
Self-LearnerAug 23, 2024
Top tags
View all tags
148
Score
78
Posts
96
Posts %
34
Score
22
Posts
27
Posts %
30
Score
8
Posts
10
Posts %
24
Score
5
Posts
6
Posts %
16
Score
5
Posts
6
Posts %
12
Score
9
Posts
11
Posts %
Top Meta posts
3
3
Top network posts
View all network posts