Why are we screwing up our chances of getting a negativesnarky award by not going with the one we voted on ? <| sep |> It looks to me that what your describing here is some version of mathematical induction . That ' s normal , it ' s very similar . by believing an indecidable proposition is false I meant deciding not to admit it as a new axiom . No , believing an indecidable proposition is false means deciding to admit its negation as a new axiom . If you make any statement of truth , whether it ' s that it ' s true or that it ' s false , you ' re admitting a new axiom . <| sep |> No one cares about your 4 team league where Reed is on waivers . <| sep |> reading replies to your comment , i now understand you didn ' t mean cow tipping <| sep |> Also . If everyone can catch the same Ditto , clearly it ' s decided before the stars appear .