- (Premise) No one knows that mathematical (or ethical or aesthetic) truths can be grounded in natural facts.
- (Premise) If no one knows that mathematical (or ethical or aesthetic) truths can be grounded in natural facts, then no one knows that natural facts are all the facts there are.
- So, no one knows that natural facts are all the facts there are.