3 ms·
That goal is what I meant by the phrase "that all could accept". You're right that I could have expanded on it though. That said, Gentzen's result is new to me
by btilly 2y ago
That goal is what I meant by the phrase "that all could accept". You're right that I could have expanded on it though.
That said, Gentzen's result is new to me. Though I have seen other results that are somewhat similar.