Hacker News new | ask | show | jobs
by JadeNB 3865 days ago
Your condition `f(F) = 1` doesn't seem to do anything to distinguish your meta-theorem `F` from any other interesting theorem.