• SkyeStarfall
    link
    fedilink
    arrow-up
    1
    ·
    2 小时前

    Godel’s second theory of incompleteness states that a formal system cannot prove its own consistency

    I think that’s as close as you can get to “math is not objective”