Aber kann der logische Kalkül den arithmetischen nicht rechtfertigen? Also zeigen, daß 2 × 2 wirklich 4 ist?