# OCME · Knowledge & practice explorer

302 MKO / 1,441 families / 360 batches / 36,000 questions.

36,000 second-context math/bilingual reviewed; 0 display/symbol-checked candidates. Source questions: candidate. English: ai_candidate. No new proof, Lean, SREG or training.

25 results; page 1/1.

## Question 34301: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0001`; number: 34301
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0001/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0001/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0001.json)

## Question 34302: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0002`; number: 34302
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0002/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0002/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0002.json)

## Question 34303: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0003`; number: 34303
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0003/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0003/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0003.json)

## Question 34304: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0004`; number: 34304
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0004/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0004/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0004.json)

## Question 34305: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0005`; number: 34305
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0005/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0005/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0005.json)

## Question 34306: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0006`; number: 34306
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0006/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0006/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0006.json)

## Question 34307: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0007`; number: 34307
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0007/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0007/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0007.json)

## Question 34308: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0008`; number: 34308
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0008/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0008/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0008.json)

## Question 34309: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0009`; number: 34309
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0009/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0009/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0009.json)

## Question 34310: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0010`; number: 34310
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0010/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0010/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0010.json)

## Question 34311: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0011`; number: 34311
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0011/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0011/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0011.json)

## Question 34312: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0012`; number: 34312
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0012/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0012/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0012.json)

## Question 34313: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0013`; number: 34313
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0013/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0013/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0013.json)

## Question 34314: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0014`; number: 34314
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0014/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0014/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0014.json)

## Question 34315: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0015`; number: 34315
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0015/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0015/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0015.json)

## Question 34316: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0016`; number: 34316
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0016/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0016/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0016.json)

## Question 34317: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0017`; number: 34317
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0017/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0017/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0017.json)

## Question 34318: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0018`; number: 34318
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0018/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0018/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0018.json)

## Question 34319: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0019`; number: 34319
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0019/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0019/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0019.json)

## Question 34320: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0020`; number: 34320
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0020/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0020/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0020.json)

## Question 34321: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0021`; number: 34321
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0021/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0021/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0021.json)

## Question 34322: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0022`; number: 34322
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0022/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0022/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0022.json)

## Question 34323: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0023`; number: 34323
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0023/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0023/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0023.json)

## Question 34324: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0024`; number: 34324
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0024/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0024/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0024.json)

## Question 34325: Counterexample to a Universal Proposition

- ID: `q-20260921-proof-counterexample-universal-0025`; number: 34325
- Processing: second_context_reviewed
- MKO: [mko-proof](/en/mko/mko-proof/)
- Family: [qf-proof-counterexample-universal](/en/explore/?family=qf-proof-counterexample-universal)
- Batch: [batch-20260921-proof-foundations](/en/explore/?batch=batch-20260921-proof-foundations)
- [Derivation](/en/questions/q-20260921-proof-counterexample-universal-0025/) / [Markdown](/en/questions/q-20260921-proof-counterexample-universal-0025/index.md) / [JSON](/data/question-derivations/questions/q-20260921-proof-counterexample-universal-0025.json)

