right! so then we can derive godel. if we combine those two we get a contradiction.
-- one of the things i was thinking when thinking about this, is how the size of human maths relate to the size of the human mind. for example, dividing infinity by zero is doable precisely _if_ you track the entire history of each number. if the infinity comes from 3/0, and you track the history, you could multiply that infinity by 0 to get 3. but this would take a mind and workpad large enough to track all this history.
